Published January 28, 2026
| Version v2
Software
Open
TACO: A Toolsuite for the Verification of Threshold Automata
Authors/Creators
-
1.
Helmholtz Center for Information Security
-
2.
Saarland University
Contributors
Contact person:
Producer (3):
Supervisor (2):
-
1.
Helmholtz Center for Information Security
-
2.
Saarland University
- 3. University of Luxembourg
-
4.
American University of Beirut
- 5. CISPA Helmholtz Center for Information Security
Description
TACO: A Toolsuite for the Verification of Threshold Automata
This upload contains the reproduction package of the TACO toolsuite for the verification of threshold automata, as submitted to the CAV 2026. It contains a single `.zip` archive, which on the top level contains
- README.md : README containing all information how to reproduce the results presented in the paper
- taco.tar: TACO toolsuite container image, including the full TACO source code, benchmarks, and build chain
- bymc.tar: ByMC container image
- paper.pdf: The pdf of the paper submitted to CAV2026
- table2.ods: Table 2 of the paper in the `.ods` format for easier readability
- src (directory): The source code of the TACO toolsuite
- LICENSE (Apache 2.0)
You can find more information about the individual contents in the README.
Additionally, you can find the source code of TACO in the [TACO GitHub Repository](https://github.com/cispa/TACO) and you can find the TACO's documentation on the [tool page](https://taco-mc.dev).
SHA256 Checksum of `artifact.zip`: acb4957d790e52146d0a93f94122a10d8a2ffc2acab68bf6172a770c973c15cc
Files
artifact.zip
Additional details
Related works
- References
- Conference paper: arXiv:2406.19880 (arXiv)
Funding
- Deutsche Forschungsgemeinschaft
- 13487900
- Fonds National de la Recherche
- C22/IS/17432184