nuget.org : pcheckercore
The P Checker
Registry
-
Source
- JSON
purl: pkg:nuget/pcheckercore
Keywords:
P
, programming
, language
, safe
, asynchrony
, state
, machines
, model
, checkers
, asynchronous
, distributed-systems
, event-driven
, formal-methods
, formal-verification
, model-checking
, p
, programming-language
, state-machine
, systematic-testing
License: MIT
Latest release: over 2 years ago
First release: over 2 years ago
Dependent packages: 1
Downloads: 3,214 total
Stars: 3,402 on GitHub
Forks: 199 on GitHub
Total Commits: 3348
Committers: 56
Average commits per author: 59.786
Development Distribution Score (DDS): 0.707
More commit stats: commits.ecosyste.ms
See more repository details: repos.ecosyste.ms
Last synced: 6 days ago