crates.io "model-checking" keyword
tla-checker 0.3.4
A TLA+ model checker written in Rust8 versions - Latest release: 1 day ago - 92 downloads total - 26 stars on GitHub - 1 maintainer
model 0.1.2 💰
model-based testing for data structures, with linearizability checking6 versions - Latest release: about 7 years ago - 7 dependent packages - 13 dependent repositories - 311 thousand downloads total - 27 stars on GitHub - 1 maintainer
rIC3 1.5.2
hardware model checker15 versions - Latest release: 3 months ago - 9.89 thousand downloads total - 88 stars on GitHub - 1 maintainer
specl-tla 0.1.0
TLA+ parser and translator to Specl1 version - Latest release: 27 days ago - 14 downloads total - 8 stars on GitHub - 1 maintainer
specl-syntax 0.1.0
Lexer, parser, and AST for the Specl specification language1 version - Latest release: 27 days ago - 59 downloads total - 8 stars on GitHub - 1 maintainer
specl-eval 0.1.0
Expression evaluator for Specl1 version - Latest release: 27 days ago - 14 downloads total - 8 stars on GitHub - 1 maintainer
specl-ir 0.1.0
Intermediate representation for Specl1 version - Latest release: 27 days ago - 26 downloads total - 8 stars on GitHub - 1 maintainer
fibril_core 0.0.7
Core types for the Fibril library.8 versions - Latest release: almost 3 years ago - 2 dependent packages - 10.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
elicitation_kani 0.8.2
Kani formal verification proofs for elicitation contracts1 version - Latest release: 14 days ago - 0 downloads total - 1 maintainer
tla-connect 0.0.1
TLA+/Apalache integration for model-based testing1 version - Latest release: 15 days ago - 0 downloads total - 1 maintainer
kani-verifier 0.67.0
A bit-precise model checker for Rust.69 versions - Latest release: about 2 months ago - 1 dependent repositories - 289 thousand downloads total - 2,682 stars on GitHub - 3 maintainers
Top 8.6% on crates.io
52 versions - Latest release: 8 months ago - 2 dependent packages - 29 dependent repositories - 12 million downloads total - 1,703 stars on GitHub - 1 maintainer
stateright 0.31.0
A model checker for implementing distributed systems.52 versions - Latest release: 8 months ago - 2 dependent packages - 29 dependent repositories - 12 million downloads total - 1,703 stars on GitHub - 1 maintainer
petricheck 0.2.1
A simple symbolic model checker for Petri Nets4 versions - Latest release: about 2 months ago - 102 downloads total - 0 stars on GitHub - 1 maintainer
bpmncheck 0.1.0
A library to sanity-check Business Process Model Notation models2 versions - Latest release: about 2 months ago - 47 downloads total - 1 maintainer
fibril 0.0.8
A library for implementing distributed systems with commmunicating fibers.9 versions - Latest release: almost 3 years ago - 1 dependent package - 11.3 thousand downloads total - 6 stars on GitHub - 1 maintainer
consistency_model 0.0.0
A tester for distributed system consistency properties like linearizability and sequential consis...1 version - Latest release: about 3 years ago - 1 dependent package - 2.09 thousand downloads total - 6 stars on GitHub - 1 maintainer
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: over 2 years ago - 1 dependent package - 5.79 thousand downloads total - 12 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: almost 2 years ago - 70.8 thousand downloads total - 12 stars on GitHub - 1 maintainer
biodivine-hctl-model-checker 0.3.5
Library for symbolic HCTL model checking on partially defined Boolean networks.17 versions - Latest release: 2 months ago - 20.9 thousand downloads total - 0 stars on GitHub - 4 maintainers
fibril_verifier 0.0.12
Verifies behavior for distributed systems implemented with the Fibril library.13 versions - Latest release: almost 3 years ago - 15.7 thousand downloads total - 6 stars on GitHub - 1 maintainer
citreelo 0.1.1
A simple BDD-based symbolic model checker for Computational Tree Logic3 versions - Latest release: 3 months ago - 393 downloads total - 1 maintainer
patronus 0.35.0
Hardware bug-finding toolkit.26 versions - Latest release: 24 days ago - 29.8 thousand downloads total - 12 stars on GitHub - 1 maintainer
cargo-check-deadlock 1.1.0
Detect deadlocks in Rust source code at compile time using Petri nets17 versions - Latest release: 5 months ago - 18.4 thousand downloads total - 23 stars on GitHub - 1 maintainer
anysystem 0.1.2
A framework for deterministic simulation and testing of distributed systems3 versions - Latest release: 6 months ago - 5.88 thousand downloads total - 8 stars on GitHub - 1 maintainer
kani 0.0.1
Placeholder crate for the library of the Kani Rust verifier.2 versions - Latest release: almost 2 years ago - 8.48 thousand downloads total - 2,678 stars on GitHub - 3 maintainers
modelator 0.4.2
A framework and tools for model-based testing.10 versions - Latest release: about 4 years ago - 2 dependent packages - 14 dependent repositories - 38.2 thousand downloads total - 60 stars on GitHub - 2 maintainers
Related Keywords
rust
9
simulation
7
formal-verification
6
distributed-systems
6
verification
5
raft
5
testing
5
paxos
5
actor
5
tla-plus
4
specification-language
4
concurrent-systems
4
tla
3
bit-vector
2
btor
2
smt
2
rtl
2
model-checker
2
petri-net
2
systems-biology
1
boolean-network
1
hctl
1
ctl
1
deadlock-detection
1
lost-signals
1
rustc-plugin
1
message-passing
1
simulator
1
model-based
1
model
1
abstraction
1
model-based-testing
1
tlaplus
1
symbolic
1
concurrency
1
linearizability
1
lock-free
1
bpmn
1
actor-model
1
apalache
1
kani
1
formal-methods
1
hardware
1
ic3
1
formal-method
1
deterministic
1