Formal Verification of Multi-Paxos for Distributed Consensus.

Saksham Chand, Yanhong A. Liu, Scott D. Stoller

Browse the full FM paper archive.