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)
Dependencies
.NETStandard 2.0
No dependencies.
No dependencies.
No dependencies.
Tags
