Towards an Automatic Proof of Lamport's Paxos.

Aman Goel, Karem A. Sakallah

Browse the full FMCAD paper archive.