nuget.org "formal-verification" keyword
View the packages on the nuget.org package registry that are tagged with the "formal-verification" keyword.
silver.codeanalysis 0.1.13
A static analyzer and formal verifier for Stratis smart contracts4 versions - Latest release: over 125 years ago - 2.22 thousand downloads total - 7 stars on GitHub - 1 maintainer
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
test.csharp.modelanalyzer 0.0.29
Roslyn-based analysis of class models with informal contracts.26 versions - Latest release: over 2 years ago - 9.9 thousand downloads total - 1 stars on GitHub - 1 maintainer
Related Keywords
systematic-testing
4
state-machine
4
programming-language
4
p
4
model-checking
4
formal-methods
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
analyzers
2
static-analysis
1
smart-contracts
1
dotnet
1
blockchain
1
stratis
1
contracts
1
smart
1