Formal Verification of Multi-Paxos for Distributed Consensus

4 June 2016

Papers citing "Formal Verification of Multi-Paxos for Distributed Consensus"

3 / 3 papers shown

Title
Simpler Specifications and Easier Proofs of Distributed Algorithms Using History Variables Saksham Chand Yanhong A. Liu 19 6 0 27 Feb 2018
Paxos Made EPR: Decidable Reasoning about Distributed Protocols Oded Padon Giuliano Losa Shmuel Sagiv Sharon Shoham 34 112 0 19 Oct 2017
Model Checking Paxos in Spin G. Delzanno Michele Tatarek Riccardo Traverso 42 12 0 26 Aug 2014