TACO provides a modular toolsuite with three model checkers for decidable threshold automata fragments and two semi-decision procedures for broader cases.
In: 2003 International Conference on De- pendable Systems and Networks (DSN 2003), 22-25 June 2003, San Francisco, CA, USA
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
citation-role summary
baseline 1
citation-polarity summary
fields
cs.DC 1years
2026 1verdicts
UNVERDICTED 1roles
baseline 1polarities
baseline 1representative citing papers
citing papers explorer
-
TACO: A Toolsuite for the Verification of Threshold Automata
TACO provides a modular toolsuite with three model checkers for decidable threshold automata fragments and two semi-decision procedures for broader cases.