Nathalie Bertrand 0001, Vincent Gramoli, Igor Konnov 0001, Marijana Lazic, Pierre Tholoniat, Josef Widder. Brief Announcement: Holistic Verification of Blockchain Consensus. In Alessia Milani, Philipp Woelfel, editors, PODC '22: ACM Symposium on Principles of Distributed Computing, Salerno, Italy, July 25 - 29, 2022. pages 424-426, ACM, 2022. [doi]
Abstract is missing.