Formal Verification of a Distributed Dynamic Reconfiguration Protocol

24 September 2021

Papers citing "Formal Verification of a Distributed Dynamic Reconfiguration Protocol"

5 / 5 papers shown

Title
Reusable Formal Verification of DAG-based Consensus Protocols Nathalie Bertrand Pranav Ghorpade Sasha Rubin Bernhard Scholz Pavle Subotić 31 1 0 02 Jul 2024
Scalable, Interpretable Distributed Protocol Verification by Inductive Proof Slicing William Schultz Edward Ashton Heidi Howard S. Tripakis 24 3 0 28 Apr 2024
Verification of GossipSub in ACL2s Ankit Kumar Max von Hippel P. Manolios Cristina Nita-Rotaru 19 1 0 15 Nov 2023
Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers Ankit Kumar Max von Hippel Pete Manolios Cristina Nita-Rotaru 19 5 0 10 Dec 2022
Plain and Simple Inductive Invariant Inference for Distributed Protocols in TLA+ William Schultz Ian Dardik S. Tripakis 26 8 0 12 May 2022