Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
crates.io "model-checking" keyword
consistency_model 0.0.0
A tester for distributed system consistency properties like linearizability and sequential consis...1 version - Latest release: over 1 year ago - 1 dependent package - 691 downloads total - 4 stars on GitHub - 1 maintainer
fibril_verifier 0.0.12
Verifies behavior for distributed systems implemented with the Fibril library.13 versions - Latest release: 12 months ago - 3.55 thousand downloads total - 4 stars on GitHub - 1 maintainer
fibril 0.0.8
A library for implementing distributed systems with commmunicating fibers.9 versions - Latest release: 12 months ago - 1 dependent package - 2.78 thousand downloads total - 4 stars on GitHub - 1 maintainer
fibril_core 0.0.7
Core types for the Fibril library.8 versions - Latest release: 12 months ago - 2 dependent packages - 2.8 thousand downloads total - 4 stars on GitHub - 1 maintainer
model 0.1.2 💰
model-based testing for data structures, with linearizability checking6 versions - Latest release: over 5 years ago - 7 dependent packages - 13 dependent repositories - 294 thousand downloads total - 26 stars on GitHub - 1 maintainer
libpatron 0.17.3
Hardware bug-finding toolkit.50 versions - Latest release: 6 days ago - 12.8 thousand downloads total - 3 stars on GitHub - 1 maintainer
Top 8.6% on crates.io
50 versions - Latest release: 9 months ago - 2 dependent packages - 29 dependent repositories - 863 thousand downloads total - 1,510 stars on GitHub - 1 maintainer
stateright 0.30.1
A model checker for implementing distributed systems.50 versions - Latest release: 9 months ago - 2 dependent packages - 29 dependent repositories - 863 thousand downloads total - 1,510 stars on GitHub - 1 maintainer
kani-verifier 0.51.0
A bit-precise model checker for Rust.53 versions - Latest release: 11 days ago - 1 dependent repositories - 82.6 thousand downloads total - 1,886 stars on GitHub - 3 maintainers
cargo-check-deadlock 1.0.10
Detect deadlocks in Rust source code at compile time using Petri nets11 versions - Latest release: 14 days ago - 3.11 thousand downloads total - 18 stars on GitHub - 1 maintainer
modelator 0.4.2
A framework and tools for model-based testing.10 versions - Latest release: over 2 years ago - 2 dependent packages - 14 dependent repositories - 27.3 thousand downloads total - 50 stars on GitHub - 2 maintainers
biodivine-hctl-model-checker 0.2.2
Library for symbolic HCTL model checking on partially defined Boolean networks.11 versions - Latest release: 5 months ago - 4.19 thousand downloads total - 0 stars on GitHub - 4 maintainers
lincheck 0.2.1
A linearizability checker for concurrent data structures4 versions - Latest release: 10 months ago - 1 dependent package - 980 downloads total - 8 stars on GitHub - 1 maintainer
Related Keywords
simulation
6
actor
5
raft
5
paxos
5
rust
4
testing
3
verification
2
model-checker
2
model
1
tla
1
model-based
1
model-based-testing
1
tlaplus
1
boolean-network
1
systems-biology
1
symbolic
1
hctl
1
concurrency
1
linearizability
1
lock-free
1
abstraction
1
rustc-plugin
1
lost-signals
1
deadlock-detection
1
petri-net
1
distributed-systems
1
actor-model
1
btor
1
rtl
1
bit-vector
1
smt
1
deterministic
1