Skip To Content
Toggle navigation
Packages
Upload
Statistics
Documentation
Downloads
Blog
Sign in
Package type
All types
Dependency
.NET tool
Template
Options
Include prerelease
2 packages returned for Tags:"state-
machines"
Sort by
Relevance
Downloads
Recently updated
Microsoft.
PSharp
by:
Microsoft
plang
53,937 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
7,109 total downloads
last updated
12/14/2022
Latest version:
1.7.3
actors
state-machines
asynchronous
reactive
systematic-testing
The Coyote actor runtime and library.