2 results found Sort:

uwplse
verdi uwplse
56
596
bsd-2-clause
67
A framework for formally verifying distributed systems implementations in Coq
coq proof verdi coq-library distributed-systems
Created 2014-11-15
1,287 commits to master branch, last one 7 months ago
uwplse
verdi-raft uwplse
19
187
bsd-2-clause
55
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
coq raft proof verdi consensus key-value distributed-systems
Created 2016-09-28
1,300 commits to master branch, last one about a year ago