أرسل هذا في رسالة قصيرة: Mechanical verification of a schematic Byzantine clock synchronization algorithm / Natarajan Shankar.