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