taco-acs-model-checker
| Crates.io | taco-acs-model-checker |
| lib.rs | taco-acs-model-checker |
| version | 0.1.0 |
| created_at | 2026-01-19 15:41:20.632043+00 |
| updated_at | 2026-01-20 09:29:48.331139+00 |
| description | Model Checker constructing an abstract counter system to verify threshold automata. This model checker is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054826 |
| size | 372,015 |
Paul Eichler (pleich)
documentation
README
TACO Abstract Counter System Model Checker
This crate contains the implementation of a model checker for threshold automata that internally constructs an abstract counter system.
This model checker is part of the TACO toolsuite for threshold automata. You can find more background on the model checker and on related crates on the TACO website.