crates.io "model-checking" keyword
View the packages on the crates.io package registry that are tagged with the "model-checking" keyword.
model 0.1.2 💰
model-based testing for data structures, with linearizability checking6 versions - Latest release: over 6 years ago - 7 dependent packages - 13 dependent repositories - 306 thousand downloads total - 27 stars on GitHub - 1 maintainer
biodivine-hctl-model-checker 0.3.3
Library for symbolic HCTL model checking on partially defined Boolean networks.15 versions - Latest release: 2 months ago - 17.7 thousand downloads total - 0 stars on GitHub - 4 maintainers
kani-verifier 0.64.0
A bit-precise model checker for Rust.66 versions - Latest release: 24 days ago - 1 dependent repositories - 217 thousand downloads total - 2,615 stars on GitHub - 3 maintainers
kani 0.0.1
Placeholder crate for the library of the Kani Rust verifier.2 versions - Latest release: about 1 year ago - 3.68 thousand downloads total - 2,615 stars on GitHub - 3 maintainers
fibril 0.0.8
A library for implementing distributed systems with commmunicating fibers.9 versions - Latest release: about 2 years ago - 1 dependent package - 10.1 thousand downloads total - 6 stars on GitHub - 1 maintainer
fibril_verifier 0.0.12
Verifies behavior for distributed systems implemented with the Fibril library.13 versions - Latest release: about 2 years ago - 13.9 thousand downloads total - 6 stars on GitHub - 1 maintainer
fibril_core 0.0.7
Core types for the Fibril library.8 versions - Latest release: about 2 years ago - 2 dependent packages - 9.53 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: over 2 years ago - 1 dependent package - 1.8 thousand downloads total - 6 stars on GitHub - 1 maintainer
patronus 0.33.0
Hardware bug-finding toolkit.22 versions - Latest release: about 2 months ago - 20.6 thousand downloads total - 11 stars on GitHub - 1 maintainer
Top 8.6% on crates.io
51 versions - Latest release: about 1 year ago - 2 dependent packages - 29 dependent repositories - 8.09 million downloads total - 1,677 stars on GitHub - 1 maintainer
stateright 0.30.2
A model checker for implementing distributed systems.51 versions - Latest release: about 1 year ago - 2 dependent packages - 29 dependent repositories - 8.09 million downloads total - 1,677 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: about 1 year ago - 63.5 thousand downloads total - 11 stars on GitHub - 1 maintainer
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: almost 2 years ago - 1 dependent package - 4.51 thousand downloads total - 12 stars on GitHub - 1 maintainer
modelator 0.4.2
A framework and tools for model-based testing.10 versions - Latest release: over 3 years ago - 2 dependent packages - 14 dependent repositories - 35.7 thousand downloads total - 60 stars on GitHub - 2 maintainers
rIC3 1.4.1
hardware model checker12 versions - Latest release: about 1 month ago - 6.58 thousand downloads total - 56 stars on GitHub - 1 maintainer
anysystem 0.1.1
A framework for deterministic simulation and testing of distributed systems2 versions - Latest release: 10 months ago - 4.63 thousand downloads total - 5 stars on GitHub - 1 maintainer
cargo-check-deadlock 1.0.15
Detect deadlocks in Rust source code at compile time using Petri nets16 versions - Latest release: 3 months ago - 15.3 thousand downloads total - 23 stars on GitHub - 1 maintainer
Related Keywords
simulation
7
rust
5
raft
5
actor
5
paxos
5
testing
4
verification
3
model-checker
2
distributed-systems
2
smt
2
rtl
2
btor
2
bit-vector
2
simulator
1
deadlock-detection
1
lost-signals
1
message-passing
1
petri-net
1
rustc-plugin
1
hardware
1
formal-verification
1
formal-method
1
ic3
1
tlaplus
1
model-based-testing
1
tla
1
model-based
1
abstraction
1
model
1
concurrency
1
linearizability
1
lock-free
1
actor-model
1
hctl
1
systems-biology
1
boolean-network
1
symbolic
1
deterministic
1