crates.io : consistency_model
A tester for distributed system consistency properties like linearizability and sequential consistency.
Registry
-
Source
- Documentation
- JSON
purl: pkg:cargo/consistency_model
Keywords:
paxos
, simulation
, raft
, model-checking
, actor
License: MIT,Apache-2.0
Latest release: over 2 years ago
First release: over 2 years ago
Dependent packages: 1
Downloads: 1,799 total
Stars: 6 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 8 days ago
Loading...
Readme
Loading...