TACO: A Toolsuite for the Verification of Threshold Automata
Fuente:
arXiv
Saved in:
| Main Authors: | , , , , , |
|---|---|
| Format: | Preprint |
| Published: |
2026
|
| Subjects: | |
| Online Access: | |
| Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
| _version_ | 1866918488188125184 |
|---|---|
| author | Eichler, Paul Baumeister, Tom Sakr, Mouhammad Dowlati, Mahboubeh Kalateh Völp, Marcus Jacobs, Swen |
| author_facet | Eichler, Paul Baumeister, Tom Sakr, Mouhammad Dowlati, Mahboubeh Kalateh Völp, Marcus Jacobs, Swen |
| contents | 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2605_06118 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | TACO: A Toolsuite for the Verification of Threshold Automata Eichler, Paul Baumeister, Tom Sakr, Mouhammad Dowlati, Mahboubeh Kalateh Völp, Marcus Jacobs, Swen Distributed, Parallel, and Cluster Computing 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. |
| title | TACO: A Toolsuite for the Verification of Threshold Automata |
| topic | Distributed, Parallel, and Cluster Computing |
| url | https://arxiv.org/abs/2605.06118 |