verdi-raft

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

License

BSD 2-Clause "Simplified" License

An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework

Creator

uwplse

Related apps

verdi

A framework for formally verifying distributed systems implementations in Coq

Coq559bsd-2-clause

5 months ago

coqcoq-librarydistributed-systems