EasyChair Smart Slide
Towards an Automatic Proof of Lamport's Paxos
Towards an Automatic Proof of Lamport's Paxos