P 1.1.4

dotnet tool install --global P --version 1.1.4
This package contains a .NET tool you can call from the shell/command line.
dotnet new tool-manifest # if you are setting up this repo
dotnet tool install --local P --version 1.1.4
This package contains a .NET tool you can call from the shell/command line.
#tool dotnet:?package=P&version=1.1.4
The NuGet Team does not provide support for this client. Please contact its maintainers for support.
nuke :add-package P --version 1.1.4
The NuGet Team does not provide support for this client. Please contact its maintainers for support.

NuGet GitHub license GitHub Action (CI on Windows) GitHub Action (CI on Ubuntu) GitHub Action (CI on MacOS)

P is a state machine based programming language for modeling and specifying complex distributed systems. P allows programmers to model their system as a collection of communicating state machines. P supports several backend analysis engines (based on automated reasoning techniques like model checking and symbolic execution) to check that the distributed system modeled in P satisfy the desired correctness specifications. Not only can a P program be systematically tested (e.g., model checking), but it can also be compiled into executable code. Essentially, P unifies modeling, specifying, implementing, and testing into one activity for the programmer.

P is currently being used extensively inside Amazon (AWS) for analysis of complex distributed systems. P is also being used for programming safe robotics systems. P was first used to implement and validate the USB device driver stack that ships with Microsoft Windows 8 and Windows Phone.

Programming concurrent, distributed systems is fun but challenging, however, a pinch of programming language design with a dash of automated reasoning can go a long way in addressing the challenge and amplify the fun!.

Let the fun begin!

You can find most of the information about the P framework on: http://p-org.github.io/P/.

What is P?, Getting Started, Tutorials, Case Studies and related Research Publications. If you have any further questions, please feel free to create an issue, ask on discussions, or email us

P has always been a collaborative project between industry and academia (since 2013) 🥁. The P team welcomes contributions and suggestions from all of you!! 👊. See CONTRIBUTING for more information.

This package has no dependencies.

Version Downloads Last updated
1.1.4 83 10/14/2021
1.1.3 130 9/22/2021
1.1.2 65 9/14/2021
1.1.1 90 8/16/2021
1.0.13 49 8/16/2021
1.0.12 183 4/27/2021
1.0.11 122 3/31/2021
1.0.10 69 3/31/2021
1.0.9 104 3/25/2021
1.0.8 114 2/19/2021
1.0.7 63 2/19/2021
1.0.6 102 2/4/2021
1.0.5 97 1/26/2021
1.0.4 146 12/9/2020
1.0.3 125 12/3/2020