A specification of the CBC Casper consensus protocols written in TLA+ and PlusCal (transpiled to TLA+)
Home Page:https://blog.trailofbits.com/2019/10/25/formal-analysis-of-the-cbc-casper-consensus-algorithm-with-tla/
Geek Repo:Geek Repo
Github PK Tool:Github PK Tool