1.Formal Analysis of the CBC Casper Consensus Algorithm with TLA+blog | 2019-10-25 11:00 | blog.trailofbits.com | Original ↗ | .md | #blockchain | #formal-verification | #ethereum