nuget.org "model-checking" keyword
Top 9.6% on nuget.org
92 versions - Latest release: about 1 month ago - 2.24 million downloads total - 3,456 stars on GitHub - 1 maintainer
p 3.0.3
The P Programming Language Compiler92 versions - Latest release: about 1 month ago - 2.24 million downloads total - 3,456 stars on GitHub - 1 maintainer
pcheckercore 2.0.5
The P Checker3 versions - Latest release: almost 3 years ago - 1 dependent package - 3.8 thousand downloads total - 3,436 stars on GitHub - 1 maintainer
pcsharpruntime 2.0.5
The P Programming Language C# Runtime33 versions - Latest release: almost 3 years ago - 897 thousand downloads total - 3,436 stars on GitHub - 1 maintainer
pcompiler 1.0.0
The P Language Compiler2 versions - Latest release: over 5 years ago - 1.2 thousand downloads total - 3,436 stars on GitHub - 1 maintainer
pcli removed
A CLI for P Compiler. P is a language for asynchronous event-driven programming.1 version - Latest release: 6 days ago - 3,436 stars on GitHub
fluentvalidationwithentityvalidation 1.0.0
tired of validating your entity constraint manually ? this package integrate ef core entities wi...1 version - Latest release: about 4 years ago - 457 downloads total - 4 stars on GitHub - 1 maintainer
isse.safetysharp 2.0.0
S# ("safety sharp") is a formal modeling and safety analysis framework for safety-critical system...9 versions - Latest release: almost 8 years ago - 13.7 thousand downloads total - 10 stars on GitHub - 1 maintainer
Related Keywords
systematic-testing
5
state-machine
5
programming-language
5
p
5
formal-verification
5
formal-methods
5
event-driven
5
distributed-systems
5
asynchronous
5
P
3
programming
3
language
3
safe
3
asynchrony
3
state
3
machines
3
model
3
checkers
3
ef
1
core
1
fluentValidation
1
entity
1
safety-critical
1
simulation
1
models
1
visualization
1