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.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…
cs.LO2024
The Reactive Synthesis Competition (SYNTCOMP): 2018-2021
Swen Jacobs, Guillermo A. Perez, Remco Abraham +22
We report on the last four editions of the reactive synthesis competition (SYNTCOMP 2018-2021). We briefly describe the evaluation scheme and the experimental setup of SYNTCOMP. Th…