Product detail
Tool for Computing Simulations
ŠIMÁČEK, J. HOLÍK, L. VOJNAR, T.
Product type
software
Abstract
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.
Keywords
finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems
Create date
03.11.2009
Location
Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/
www