Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
pypi.org "model-checking" keyword
svros 1.0.1
Security Verification in ROS4 versions - Latest release: over 1 year ago - 79 downloads last month - 0 stars on GitHub - 1 maintainer
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
prophesy 2.0.1
Prophesy - Parametric Probabilistic Model Checking1 version - Latest release: almost 5 years ago - 1 dependent repositories - 24 downloads last month - 6 stars on GitHub - 2 maintainers
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
umaudemc 0.13.1
Unified Maude model-checking utility12 versions - Latest release: 2 months ago - 1 dependent repositories - 52 downloads last month - 5 stars on GitHub - 1 maintainer
tlaplus-jupyter 0.1.1
Jupyter kernel for TLA⁺2 versions - Latest release: over 4 years ago - 1 dependent repositories - 46 downloads last month - 118 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
pytolemaic 0.15.4
Package for ML model analysis56 versions - Latest release: almost 2 years ago - 1 dependent repositories - 422 downloads last month - 11 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
datagene 0.0.3
Data Comparison Toolbox with Transformation and Similarity Analysis3 versions - Latest release: about 4 years ago - 1 dependent repositories - 24 downloads last month - 191 stars on GitHub - 1 maintainer
modelator-py 0.2.6
Lightweight utilities to assist model writing and model-based testing activities using the TLA+ e...17 versions - Latest release: over 1 year ago - 1 dependent package - 1 dependent repositories - 118 downloads last month - 28 stars on GitHub - 3 maintainers
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
formal-verification
5
python
3
bounded-model-checking
3
software-verification
2
security-vulnerabilities
2
open-source-software
2
c-language
2
tlaplus
2
tla
2
formal-methods
2
verification
2
z3
1
similarity-score
1
similarity-measures
1
predictive-maintenance
1
finance
1
encoding
1
distance-measures
1
distance-calculations
1
decomposition
1
dataset-similarity
1
dataset-generation
1
data-transformations
1
data-structures
1
sensitivity-analysis
1
sensitivity
1
quality-control
1
pluscal
1
command-line-tool
1
command-line
1
cli
1
modeling
1
apalache
1
tlc
1
utility
1
transformation-recipes
1
testing-framework
1
synthetic-dataset-generation
1
utilities
1
automated-tests
1
synthetic-data
1
synthesizers
1
model-checker
1
pypi
1
smt-solver
1
jupyter
1
maude
1
verilog
1
systemverilog
1
satisfiability-modulo-theories
1
hardware-verification
1
research
1
parameters
1
markov-chain
1
symbolic-model-checking
1
alloy-analyzer
1
haros
1
alloy
1
property-specification
1
ros2
1
sros2
1
quality
1
predictive-modeling
1
predictive-analysis
1
prediction-uncertainty
1
prediction-model
1
ml
1
lime-explanation
1
feature-sensitivity
1
feature-importance
1
explainable-ml
1
explainable-ai
1
explainability
1
evaluation-metrics
1
data-science
1
data-analysis
1
ai
1
jupyter-kernel
1