10 citations · 32 across the 26 of their papers we have counts for
3 papers · 1 filter
Interactive Safety Verification of Distributed Protocols by Inductive Proof Decomposition
William Schultz, Edward Ashton, Heidi Howard +1
Many techniques for the automated verification of distributed protocols have been developed over the past several years, but their performance is still unpredictable and their fail…
Formal Verification of a Distributed Dynamic Reconfiguration Protocol
William Schultz, Ian Dardik, Stavros Tripakis
We present a formal, machine checked TLA+ safety proof of MongoRaftReconfig, a distributed dynamic reconfiguration protocol. MongoRaftReconfig was designed for and implemented in M…
Design and Analysis of a Logless Dynamic Reconfiguration Protocol
William Schultz, Siyuan Zhou, Ian Dardik +1
Distributed replication systems based on the replicated state machine model have become ubiquitous as the foundation of modern database systems. To ensure availability in the prese…