Tool for Computing Simulations
finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
The tool allows efficient computation of simulation relation over labelled transition systems and the so called upward and downward simulations over tree automata. Written in OCaml.
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).