pkg

Microsoft/Microsoft.PSharpv1.7.0

Name: Microsoft.PSharp
Author: Microsoft

✓ Verified.NET Std2.0.NET2.1.NET FW4.6

⚠ Deprecated: Other, Legacy

P# has evolved into Coyote. Please use the Microsoft.Coyote NuGet package for new projects. https://microsoft.github.io/coyote/

Suggested alternative: Microsoft.Coyote

P# is a framework for building reliable asynchronous software.

License

Deps

Install Size

—

Vulns

✓ 0

Published

Dec 11, 2019

Get Started

$ dotnet add package Microsoft.PSharp

No README available.