3 papers
cs.DC2026
TACO: A Toolsuite for the Verification of Threshold Automata
Paul Eichler, Tom Baumeister, Mouhammad Sakr +3
We present TACO, a toolsuite for the development and automatic verification of fault-tolerant and threshold-based distributed algorithms. Our toolsuite implements three approaches…
cs.DC2025
Tolerating Disasters with Hierarchical Consensus
Wassim Yahyaoui, Joachim Bruneau-Queyreix, Jérémie Decouchant +1
Geo-replication provides disaster recovery after catastrophic accidental failures or attacks, such as fires, blackouts or denial-of-service attacks to a data center or region. Natu…
cs.DC2024
Parameterized Verification of Round-based Distributed Algorithms via Extended Threshold Automata
Tom Baumeister, Paul Eichler, Swen Jacobs +2
Threshold automata are a computational model that has proven to be versatile in modeling threshold-based distributed algorithms and enabling their completely automatic parameterize…