TACO: A Toolsuite for the Verification of Threshold Automata

Lecture notes in computer science 2026 Open access

Read full text
Authors: Paul Eichler, Tom Baumeister, Mouhammad Sakr, Mahboubeh Kalateh Dowlati, Marcus Völp, Swen Jacobs
DOI: 10.1007/978-3-032-32526-6_19
Cited by: 1
References: 48

Abstract

Abstract We present Taco , a toolsuite for the development and automatic verification of fault-tolerant and threshold-based distributed algorithms. Our toolsuite implements three approaches for model checking threshold automata in different decidable fragments known from the literature and two semi-decision procedures going beyond these decidable fragments. Moreover, Taco is a modular, extensible, and well-documented framework for developing algorithms and tools for threshold automata. We present important features, give an overview of the implemented algorithms, and evaluate their performance experimentally.

Fields of Study & Subjects

Formal Methods in Verification Embedded Systems Design Techniques Network Packet Processing and Optimization

Publication details

Journal / source
Lecture notes in computer science
Publisher
Springer Nature Switzerland
Pages
403–417
Publication date
1 January 2026
Language
EN