A framework for formally verifying distributed systems implementations i...
An implementation of the Raft distributed consensus protocol, verified i...