4 packages returned for Tags:"state-machines"

Package type

All types

Dependency

.NET tool

Template

Sort by

Relevance

Downloads

Recently updated

Options

Include prerelease

Microsoft.Coyote The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: coyote Microsoft

Coyote is a library for building reliable asynchronous software.

Microsoft.PSharp The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: Microsoft plang

P# is a framework for building reliable asynchronous software.

Microsoft.Coyote.Test The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: coyote Microsoft

The Coyote systematic testing library and tools.

Microsoft.Coyote.CLI The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org.

by: coyote Microsoft

The Coyote command line tool.