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
- 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.