A framework for formally verifying distributed systems implementations in Coq
created at Nov. 15, 2014, 11:17 p.m.
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
created at Sept. 28, 2016, 10:18 p.m.