Skip To Content
NuGet home
  • Packages
  • Upload
  • Statistics
  • Documentation
  • Downloads
  • Blog
  • Sign in
plang gravatar
2
Packages
61,544
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,466 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,078 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