Microsoft.PSharp
1.7.0
Prefix Reserved
.NET Core 2.1
.NET Standard 2.0
.NET Framework 4.6
Suggested Alternatives
Additional Details
P# has evolved into Coyote. Please use the Microsoft.Coyote NuGet package for new projects. https://microsoft.github.io/coyote/
dotnet add package Microsoft.PSharp --version 1.7.0
NuGet\Install-Package Microsoft.PSharp -Version 1.7.0
This command is intended to be used within the Package Manager Console in Visual Studio, as it uses the NuGet module's version of Install-Package.
<PackageReference Include="Microsoft.PSharp" Version="1.7.0" />
For projects that support PackageReference, copy this XML node into the project file to reference the package.
paket add Microsoft.PSharp --version 1.7.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
#r "nuget: Microsoft.PSharp, 1.7.0"
#r directive can be used in F# Interactive and Polyglot Notebooks. Copy this into the interactive tool or source code of the script to reference the package.
// Install Microsoft.PSharp as a Cake Addin
#addin nuget:?package=Microsoft.PSharp&version=1.7.0
// Install Microsoft.PSharp as a Cake Tool
#tool nuget:?package=Microsoft.PSharp&version=1.7.0
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
P# is a framework for building reliable asynchronous software.
| Product | Versions |
|---|---|
| .NET | net5.0 net5.0-windows net6.0 net6.0-android net6.0-ios net6.0-maccatalyst net6.0-macos net6.0-tvos net6.0-windows net7.0 net7.0-android net7.0-ios net7.0-maccatalyst net7.0-macos net7.0-tvos net7.0-windows |
| .NET Core | netcoreapp2.0 netcoreapp2.1 netcoreapp2.2 netcoreapp3.0 netcoreapp3.1 |
| .NET Standard | netstandard2.0 netstandard2.1 |
| .NET Framework | net46 net461 net462 net463 net47 net471 net472 net48 net481 |
| MonoAndroid | monoandroid |
| MonoMac | monomac |
| MonoTouch | monotouch |
| Tizen | tizen40 tizen60 |
| Xamarin.iOS | xamarinios |
| Xamarin.Mac | xamarinmac |
| Xamarin.TVOS | xamarintvos |
| Xamarin.WatchOS | xamarinwatchos |
Compatible target framework(s)
Additional computed target framework(s)
Learn more about Target Frameworks and .NET Standard.
-
.NETCoreApp 2.1
- No dependencies.
-
.NETFramework 4.6
- No dependencies.
-
.NETStandard 2.0
- No dependencies.
NuGet packages
This package is not used by any NuGet packages.
GitHub repositories (1)
Showing the top 1 popular GitHub repositories that depend on Microsoft.PSharp:
| Repository | Stars |
|---|---|
|
p-org/PSharp
A framework for rapid development of reliable asynchronous software.
|
| Version | Downloads | Last updated | |
|---|---|---|---|
| 1.7.0 | 2,404 | 12/11/2019 | |
| 1.6.10 | 801 | 10/30/2019 | |
| 1.6.9 | 2,696 | 8/30/2019 | |
| 1.6.8 | 861 | 7/30/2019 | |
| 1.6.7 | 763 | 7/18/2019 | |
| 1.6.6 | 786 | 7/11/2019 | |
| 1.6.5 | 737 | 7/3/2019 | |
| 1.6.4 | 801 | 6/17/2019 | |
| 1.6.3 | 770 | 6/12/2019 | |
| 1.6.2 | 744 | 6/11/2019 | |
| 1.6.1 | 770 | 6/4/2019 | |
| 1.6.0 | 7,391 | 5/2/2019 | |
| 1.5.1 | 1,399 | 3/31/2019 | |
| 1.5.0 | 2,069 | 3/22/2019 | |
| 1.4.7 | 1,676 | 2/28/2019 | |
| 1.4.6 | 817 | 2/21/2019 | |
| 1.4.5 | 900 | 2/14/2019 | |
| 1.4.4 | 1,035 | 1/16/2019 | |
| 1.4.3 | 1,065 | 11/17/2018 | |
| 1.4.2 | 955 | 11/9/2018 | |
| 1.4.1 | 932 | 11/1/2018 | |
| 1.4.0 | 2,194 | 10/16/2018 |