Compositional Verification of Composite Byzantine Protocols

The Agent & Tool Arbitration Protocol

Network Time Protocol clock synchronization algorithm

(Coded from scratch.) Distributed key-value store via Multi-Paxos Consensus Algorithm with fault-tolerance, safety, and reliability