Microsoft.Coyote.Core (nuget): The Coyote core libraries and runtime.
Keywords: systematic-testing|specifications|concurrency|dotnet|csharp