Title: Mechanical verification of a schematic Byzantine clock synchronization algorithm
Subjects: Computer programs, Synchronization, Fault-tolerant computing, Verification