Skip To Content

Packages
Upload
Statistics
Documentation
Downloads
Blog

Sign in

Frameworks

.NET

net7.0
net6.0
net5.0

.NET Core

netcoreapp3.1
netcoreapp3.0
netcoreapp2.2
netcoreapp2.1
netcoreapp2.0
netcoreapp1.1
netcoreapp1.0

.NET Standard

netstandard2.1
netstandard2.0
netstandard1.6
netstandard1.5
netstandard1.4
netstandard1.3
netstandard1.2
netstandard1.1
netstandard1.0

.NET Framework

net481
net48
net472
net471
net47
net462
net461
net46
net452
net451
net45
net40
net35
net30
net20

Package type

All types

Dependency

.NET tool

Template

Options

Include prerelease

2 packages returned for Tags:"state-machines"

Sort by

Microsoft.PSharp by: Microsoft plang
- 56,435 total downloads
- last updated 12/11/2019
- Latest version: 1.7.0
- asynchrony reliability specifications reactive state-machines testing
P# is a framework for building reliable asynchronous software.
Microsoft.Coyote.Actors by: coyote Microsoft
- 10,450 total downloads
- last updated 3/10/2023
- Latest version: 1.7.5
- actors state-machines asynchronous reactive systematic-testing
The Coyote actor runtime and library.

Contact

Got questions about NuGet or the NuGet Gallery?

Status

Find out the service status of NuGet.org and its related services.

FAQ

Read the Frequently Asked Questions about NuGet and see if your question made the list.

© Microsoft 2023 - About - Terms of Use - Privacy Policy - Trademarks