Reusable Formal Verification of DAG-based Consensus Protocols

2 July 2024

Papers citing "Reusable Formal Verification of DAG-based Consensus Protocols"

4 / 4 papers shown

Title
Holistic Verification of Blockchain Consensus N. Bertrand Vincent Gramoli I. Konnov Marijana Lazić Pierre Tholoniat Josef Widder 8 12 0 09 Jun 2022
Formal Verification of a Distributed Dynamic Reconfiguration Protocol William Schultz Ian Dardik S. Tripakis 37 11 0 24 Sep 2021
Formalizing Nakamoto-Style Proof of Stake Søren Eller Thomsen Bas Spitters LRM 21 19 0 23 Jul 2020
Formal Verification of Multi-Paxos for Distributed Consensus Saksham Chand Yanhong A. Liu Scott D. Stoller 17 54 0 04 Jun 2016