taco-zcs-model-checker
| Crates.io | taco-zcs-model-checker |
| lib.rs | taco-zcs-model-checker |
| version | 0.1.0 |
| created_at | 2026-01-19 16:11:02.357579+00 |
| updated_at | 2026-01-20 09:29:48.720364+00 |
| description | Model Checker constructing an abstract counter system encoded into BDDs 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 | 2054894 |
| size | 415,384 |
Paul Eichler (pleich)
documentation
README
TACO 01-Counter System Model Checker
This crate contains the implementation of a model checker for threshold automata that internally constructs a special abstract called the 01-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.