4 ms·
Remember, two years ago James Wilcox and Doug Woos were formally proving Raft's linearizable semantics using Verdi: https://news.ycombinator.com/item?id=1001754
by relyio 9y ago
Remember, two years ago James Wilcox and Doug Woos were formally proving Raft's linearizable semantics using Verdi: https://news.ycombinator.com/item?id=10017549 https://news.ycombinator.com/item?id=10017549
- appleflaxen 9y agoYes; because it's mentioned in the article: > Both the Verdi framework and our verified Raft implementation are open-source. Please feel free to submit comments, issues, and pull requests on either repository. [1] https://github.com/uwplse/verdi-raft https://github.com/uwplse/verdi-raft