Top 20 NuGet state-machines Packages

Coyote is a library for building reliable asynchronous software.
The Coyote systematic testing library and tools.
P# is a framework for building reliable asynchronous software.
The Coyote command line tool.