Expand description
TACO Command Line Interface
This crate contains the TACO CLI that can be used to verify, translate and visualize different flavors of threshold automata. Consult the TACO documentation for more information on how to use the tool, what specification formats are supported etc.
Modules§
- cli 🔒
- Command Line Interface for TACO
- taco_
config 🔒 - Module for implementing advanced specification options for the model checker.
Functions§
- main 🔒