NuGet Package Microsoft.PSharp

P# is a framework for building reliable asynchronous software.

Info

Version: 1.7.0
Author(s): Microsoft
Last Update: Wednesday, December 11, 2019
.NET Fiddle: Create the first Fiddle
Project Url: https://github.com/p-org/PSharp
NuGet Url: https://www.nuget.org/packages/Microsoft.PSharp


Install
Install-Package Microsoft.PSharp
dotnet add package Microsoft.PSharp
paket add Microsoft.PSharp
Microsoft.PSharp Download (Unzip the "nupkg" after downloading)

.NETStandard 2.0
  • No dependencies.
net46
  • No dependencies.
netcoreapp2.1
  • No dependencies.


Tags



STATS

must-have-score

.8

avg-downloads-per-day

20

days-since-last-release

323