taco-model-checker
| Crates.io | taco-model-checker |
| lib.rs | taco-model-checker |
| version | 0.1.0 |
| created_at | 2026-01-19 15:06:59.813067+00 |
| updated_at | 2026-01-20 09:29:43.755082+00 |
| description | Model Checker interface and specification definitions for model checkers that are part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054774 |
| size | 305,279 |
Paul Eichler (pleich)
documentation
README
TACO Model Checker
This crate provides a common interface for the model checkers in the TACO toolsuite for threshold automata.
You can find more background and implementations of the model checker interface on the TACO website.