Microsoft.Coyote (nuget): Coyote is a library and tool for testing concurrent C# code and deterministically reproducing bugs.
Keywords: systematic-testing|specifications|concurrency|dotnet|csharp