Microsoft.Coyote.Tool (nuget): The self-contained Coyote command-line tool.
Keywords: systematic-testing|specifications|concurrency|dotnet|csharp