Bounded Verification of Doubly-Unbounded Distributed Agreement-Based Systems

Christopher Wagner, Nouraldin Jaber, Roopsha Samanta

The ubiquity of distributed agreement protocols, such as consensus, has galvanized interest in verification of such protocols as well as applications built on top of them. The comp…