Brief Announcement: Holistic Verification of Blockchain Consensus.

Nathalie Bertrand, Vincent Gramoli, Igor Konnov, Marijana Lazic, Pierre Tholoniat, Josef Widder

Browse the full PODC paper archive.