Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "formal-verification" keyword
mctk-py 0.1.1
Model Checking Toolkit for Python3 versions - Latest release: 11 months ago - 9 downloads last month - 4 stars on GitHub - 1 maintainer
cosa 0.3.1
CoreIR Symbolic Analyzer14 versions - Latest release: about 5 years ago - 5 dependent repositories - 56 downloads last month - 60 stars on GitHub - 2 maintainers
zarpy 1.0.1
Formally verified biased coin and n-sided die4 versions - Latest release: about 1 year ago - 53 downloads last month - 4 stars on GitHub - 1 maintainer
traffic-intersection 0.1.6
This is an example of the design-by-contract approach7 versions - Latest release: almost 6 years ago - 1 dependent repositories - 55 downloads last month - 14 stars on GitHub - 1 maintainer
recordflux 0.21.0
A toolset for the formal specification and generation of verifiable binary parsers, message gener...23 versions - Latest release: about 1 month ago - 1 dependent package - 1 dependent repositories - 272 downloads last month - 101 stars on GitHub - 3 maintainers
pyvcg 1.0.6
Verification Condition Generator8 versions - Latest release: 8 months ago - 1 dependent repositories - 1.59 thousand downloads last month - 1 stars on GitHub - 1 maintainer
lsverifier 0.3.0
This open-source tool streamlines software verification by allowing the simultaneous assessment o...1 version - Latest release: 7 months ago - 22 downloads last month - 5 stars on GitHub - 1 maintainer
esbmc-wr 0.2.0
A ESBMC command line wrapper.3 versions - Latest release: almost 3 years ago - 1 dependent repositories - 14 downloads last month - 5 stars on GitHub - 1 maintainer
pymavswarm 1.2.0
Python library used to communicate with multiple UAS simultaneously using MAVLink6 versions - Latest release: over 1 year ago - 32 downloads last month - 18 stars on GitHub - 1 maintainer
intrepyd 0.12.0
Intrepyd Model Checker37 versions - Latest release: over 2 years ago - 1 dependent repositories - 102 downloads last month - 16 stars on GitHub - 1 maintainer
Related Keywords
model-checking
5
formal-methods
4
bounded-model-checking
3
python
3
software-verification
2
security-vulnerabilities
2
open-source-software
2
c-language
2
mavlink
1
drone
1
ardupilot
1
smtlib
1
spark
1
protocol-specification
1
protocol-parser
1
parser
1
symbolic-model-checking
1
px4
1
reachability-analysis
1
robotics
1
robotics-safety
1
safety
1
swarm
1
uav
1
automated-tests
1
model-checker
1
pypi
1
smt-solver
1
z3
1
verification
1
hardware-verification
1
satisfiability-modulo-theories
1
systemverilog
1
verilog
1
zar
1
zarpy
1
random
1
sampler
1
biased
1
coin
1
bernoulli
1
uniform
1
die
1
verified
1
coq
1
compiler
1
probabilistic-programming
1
sampling
1
design-by-contract
1
ada
1
binary-parser
1
communication-protocol
1
formal-specification
1