Microsoft.Coyote.Actors (nuget): The Coyote actor runtime and library.
Keywords: actors|state-machines|asynchronous|reactive|systematic-testing