First Page | Document Content | |
---|---|---|
Date: 2016-01-04 17:45:16Logic 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. WilcoxAdd to Reading ListSource URL: homes.cs.washington.eduDownload Document from Source WebsiteFile Size: 208,59 KBShare Document on Facebook |