uwplse/verdi-raft
View on GitHub ↗ ★ 204 Coq
An implementation of the Raft distributed consensus protocol, verified in Coq using the Verdi framework
4 mentions on Hacker News by 4 people: 0 stories, 4 comments · first 2017-07-09 · latest 2021-10-28
20082026
-
Raft has been manually verified which was the hurdle here that makes the result interesting: https://github.com/uwplse/verdi-raft
comment by johnbender · 2021-10-28 · in Paxos automatically determined safe and secure -
…proof to running code automatically. For example, see the Verdi framework for doing Raft consensus: https://github.com/uwplse/verdi-raft . This is clearly not for the faint of heart. The wonderful thing about this exercise is that it…
comment by sriram_malhar · 2020-02-23 · in Learn TLA+ (2018) -
…formal verification of distributed protocols) and their formal verification of RAFT. (Code here: https://github.com/uwplse/verdi-raft ) However--it's just that it currently takes a lot more work in terms of person-hours to do the…
comment by electronvolt · 2017-07-21 · in A hacker stole $31M of Ether – how it happened, and what it means for Ethereum -
…Please feel free to submit comments, issues, and pull requests on either repository. [1] https://github.com/uwplse/verdi-raft
comment by appleflaxen · 2017-07-09 · in Verdi – Formally Verifying Distributed Systems (2016)