Microsoft.PSharp (nuget): P# is a framework for building reliable asynchronous software.
Keywords: asynchrony|reliability|specifications|reactive|state-machines|testing|asynchronous-programming|automated-testing|dotnet