Back to Results
First PageMeta Content
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

Document Date: 2016-01-04 17:45:16

Open Document

File Size: 208,59 KB

Share Result on Facebook