Guardado en:
| Autores principales: | , , , , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | https://arxiv.org/abs/2605.06118 |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _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 |