nuget.org "model-checking" keyword
View the packages on the nuget.org package registry that are tagged with the "model-checking" keyword.
pcheckercore 2.0.5
The P Checker3 versions - Latest release: over 2 years ago - 1 dependent package - 3.21 thousand downloads total - 3,402 stars on GitHub - 1 maintainer
pcsharpruntime 2.0.5
The P Programming Language C# Runtime33 versions - Latest release: over 2 years ago - 891 thousand downloads total - 3,402 stars on GitHub - 1 maintainer
Top 9.6% on nuget.org
88 versions - Latest release: 2 months ago - 216 thousand downloads total - 3,402 stars on GitHub - 1 maintainer
p 2.3.8
The P Programming Language Compiler88 versions - Latest release: 2 months ago - 216 thousand downloads total - 3,402 stars on GitHub - 1 maintainer
pcompiler 1.0.1
The P Language Compiler2 versions - Latest release: almost 5 years ago - 980 downloads total - 3,402 stars on GitHub - 1 maintainer
fluentvalidationwithentityvalidation 1.0.0
tired of validating your entity constraint manually ? this package integrate ef core entities wi...1 version - Latest release: over 3 years ago - 351 downloads total - 2 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: over 7 years ago - 11.7 thousand downloads total - 10 stars on GitHub - 1 maintainer
Related Keywords
systematic-testing
4
state-machine
4
programming-language
4
p
4
formal-verification
4
formal-methods
4
event-driven
4
distributed-systems
4
asynchronous
4
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