·
5 commits
to main
since this release
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