Releases: cispa/TACO
Releases · cispa/TACO
v0.1.0
Immutable
release. Only release title and notes can be modified.
This is the first release of the TACO toolsuite for threshold automata.
This release adds:
- basic data types for threshold automata
- standardized configuration interface for SMT solvers and functionality to encode basic threshold automaton data types
- simple high-level interface for interacting with BDD libraries
- parser for TLA^+ subset and ByMC specification format
- SMT, ACS and ZCS model checkers for threshold automata
- CLI interface to interact with model checkers
- user documentation