Microsoft.Coyote.Test (nuget): The Coyote systematic testing engine.
Keywords: systematic-testing|specifications|concurrency|dotnet|csharp