Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

nuget.org "formal-methods" keyword

pcheckercore 2.0.5
The P Checker
3 versions - Latest release: about 1 year ago - 1 dependent package - 2.18 thousand downloads total - 2,920 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
p 2.1.3
The P Programming Language Compiler
74 versions - Latest release: 16 days ago - 26.8 thousand downloads total - 2,919 stars on GitHub - 1 maintainer
pcompiler 1.0.1
The P Language Compiler
2 versions - Latest release: over 3 years ago - 739 downloads total - 2,920 stars on GitHub - 1 maintainer
pcsharpruntime 2.0.5
The P Programming Language C# Runtime
33 versions - Latest release: about 1 year ago - 881 thousand downloads total - 2,920 stars on GitHub - 1 maintainer
Related Keywords
systematic-testing 4 state-machine 4 robotics 4 programming-language 4 p 4 model-checking 4 formal-verification 4 event-driven 4 distributed-systems 4 asynchronous 4 checkers 3 model 3 machines 3 state 3 asynchrony 3 safe 3 language 3 programming 3 P 3