Showing 2026Show all
2 papers · 1 filter
cs.DC2026
Modular Parameterized Model Checking of Threshold-Based Distributed Algorithms
Paul Eichler, Swen Jacobs
We present a novel approach for model checking fault-tolerant distributed algorithms: instead of building large, monolithic algorithm models, we propose a modular approach where th…
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…