Microsoft.Coyote.CLI (nuget): The Coyote .NET command-line tool.
Keywords: systematic-testing|specifications|concurrency|dotnet|csharp|cli|tool