research
∙
08/19/2021
Towards an Automatic Proof of Lamport's Paxos
Lamport's celebrated Paxos consensus protocol is generally viewed as a c...
share
research
∙
03/27/2021
On Symmetry and Quantification: A New Approach to Verify Distributed Protocols
Proving that an unbounded distributed protocol satisfies a given safety ...
research
∙
12/19/2020
