Showing cs.DCShow all
2 papers · 1 filter
cs.DC2025
Shipwright: Proving liveness of distributed systems with Byzantine participants
Derek Leung, Nickolai Zeldovich, Frans Kaashoek
Ensuring liveness in a decentralized system, such as PBFT, is critical, because there may not be any single administrator that can restart the system if it encounters a liveness bu…
cs.DC2018
A Revised and Verified Proof of the Scalable Commutativity Rule
Lillian Tsai, Eddie Kohler, M. Frans Kaashoek +1
This paper explains a flaw in the published proof of the Scalable Commutativity Rule (SCR), presents a revised and formally verified proof of the SCR in the Coq proof assistant, an…