Faculty of Information Technology, BUT

Product Details

Tool for Computing Simulations

Created: 2009

Czech title
Nástroj pro výpočet simulací
Type
software
License
required - free
Authors
Keywords
finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
Description
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.
Location
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Back to top