Reviews
A framework for formally verifying distributed systems implementations in Coq
Search similar apps
License
BSD 2-Clause "Simplified" License
Related apps
verdi-raft
An implementation of the Raft distributed consensus protocol, verified in Coq us
Coq175bsd-2-clause
6 months ago
consensuscoqdistributed-systems