Skip To Content
NuGet home
  • Packages
  • Upload
  • Statistics
  • Documentation
  • Downloads
  • Blog
  • Sign in
plang gravatar
2
Packages
61,903
Total downloads of packages

plang 

  • Microsoft.PSharp The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. by: Microsoft plang
    • 56,784 total downloads
    • last updated 12/11/2019
    • Latest version: 1.7.0
    • asynchrony reliability specifications reactive state-machines testing
    P# is a framework for building reliable asynchronous software.
  • Microsoft.PSharp.BatchTester The ID prefix of this package has been reserved for one of the owners of this package by NuGet.org. by: plang
    • 5,119 total downloads
    • last updated 2/15/2018
    • Latest version: 1.0.6
    • PSharp
    Batch testing for PSharp language
Contact

Got questions about NuGet or the NuGet Gallery?

Status

Find out the service status of NuGet.org and its related services.

FAQ

Read the Frequently Asked Questions about NuGet and see if your question made the list.

© Microsoft 2023 - About - Terms of Use - Privacy Policy - Trademarks