37 citations · 71 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LO2021★ 12 cited
Towards an Automatic Proof of Lamport's Paxos
Aman Goel, Karem A. Sakallah
Lamport's celebrated Paxos consensus protocol is generally viewed as a complex hard-to-understand algorithm. Notwithstanding its complexity, in this paper, we take a step towards a…
cs.LO2021★ 21 cited
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
Aman Goel, Karem A. Sakallah
Proving that an unbounded distributed protocol satisfies a given safety property amounts to finding a quantified inductive invariant that implies the property for all possible inst…