2 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.FL2026
Parameterized Verification of Systems with Precise (0,1)-Counter Abstraction
Paul Eichler, Swen Jacobs, Chana Weil-Kennedy
We introduce a new framework for verifying systems with a parametric number of concurrently running processes. The systems we consider are well-structured with respect to a specifi…