FMCAD 2021: FORMAL METHODS IN COMPUTER-AIDED DESIGN 2021
SLIDES

Towards an Automatic Proof of Lamport's Paxos

Aman Goel and Karem A. Sakallah