taco-interval-ta
| Crates.io | taco-interval-ta |
| lib.rs | taco-interval-ta |
| version | 0.1.0 |
| created_at | 2026-01-19 15:18:46.626904+00 |
| updated_at | 2026-01-20 09:29:47.230536+00 |
| description | A crate allowing you to obtain a threshold automaton with an (symbolic) interval abstraction applied to it. This crate is part of the TACO toolsuite. |
| homepage | https://taco-mc.dev |
| repository | https://github.com/cispa/TACO |
| max_upload_size | |
| id | 2054799 |
| size | 267,757 |
Paul Eichler (pleich)
documentation
README
TACO Interval Threshold Automaton
This crate provides a new type that represents an abstract version of threshold automata. Specifically, it provides a threshold automaton where rule guards are abstracted to the abstract intervals in which these rules are enabled.
This crate is part of the TACO toolsuite for threshold automata. You can find more background and use cases, as well as related crates on the TACO website.