Specification and Verification of the Zab Protocol with TLA+
Jiaqi Yin, Huibiao Zhu, Yuan Fei
Topics & Concepts
LivenessComputer scienceCorrectnessProtocol (science)Atomic broadcastModel checkingFormal methodsProgramming languageProtocol analysisDistributed computingComputer networkBroadcasting (networking)LinguisticsPathologyAlternative medicineMedicinePhilosophyDistributed systems and fault toleranceRadiation Effects in ElectronicsSecurity and Verification in Computing