uwplse / verdi-raftLinks
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
☆190Updated last year
Alternatives and similar repositories for verdi-raft
Users that are interested in verdi-raft are comparing it to the libraries listed below
Sorting:
- FSCQ is a certified file system written and proven in Coq☆248Updated 2 years ago
- Distributed Separation Logic: a framework for compositional verification of distributed protocols and their implementations in Coq☆100Updated last year
- Implementation of Raft consensus algorithm☆112Updated 10 years ago
- A framework for formally verifying distributed systems implementations in Coq☆608Updated 3 months ago
- Command line binaries for the TLA+ language☆170Updated 2 years ago
- IVy is a research tool intended to allow interactive development of protocols and their proofs of correctness and to provide a platform f…☆96Updated 2 weeks ago
- The TLA⁺ Proof Manager☆95Updated 2 weeks ago
- Verifying concurrent crash-safe systems☆203Updated this week
- Lem semantic definition language☆146Updated 6 months ago
- Pluscal/TLA+ modeling of distributed systems/protocols