Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox

First Page		Document Content
Date: 2016-01-04 17:45:16 Logic in computer science Fault-tolerant computer systems Distributed algorithms Mathematical induction Raft Formal verification Consensus Leader election Mathematical proof Paxos Intuitionistic logic		Planning for Change in a Formal Verification of the Raft Consensus Protocol Doug Woos Zachary Tatlock James R. Wilcox Add to Reading List Source URL: homes.cs.washington.edu Download Document from Source Website File Size: 208,59 KB Share Document on Facebook

	piChain: When a Blockchain meets Paxos Conrad Burchert1 and Roger Wattenhofer2 1 ETH Zurich, Switzerland DocID: 1vpTH - View Document
	Paxos Made Live - An Engineering Perspective Tushar Chandra Robert Griesemer Joshua Redstone June 20, 2007 Abstract DocID: 1vm9u - View Document
	arXiv:1608.06696v1 [cs.DC] 24 AugFlexible Paxos: Quorum intersection revisited Heidi Howard1,2 , Dahlia Malkhi1 and Alexander Spiegelman1,3 1 DocID: 1vee5 - View Document
	Implementing Replicated Logs with Paxos John Ousterhout and Diego Ongaro Stanford University Note: this material borrows heavily from slides by Lorenzo Alvisi, Ali Ghodsi, and David Mazières DocID: 1ucMn - View Document
	Paxos Replicated State Machines as the Basis of a High-Performance Data Store William J. Bolosky, Dexter Bradshaw, Randolph B. Haagens, Norbert P. Kusters and Peng Li Microsoft and Microsoft Research {bolosky, dexterb, DocID: 1tWZt - View Document