Tool for Computing Simulations

Authors:Holík Lukáš, Šimáček Jiří, Vojnar Tomáš
Type:software
Created:2009
Licence:required - no fee
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:
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/
Research groups:
Departments:
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Your IPv4 address: 54.146.47.178
Switch to IPv6 connection

DNSSEC [dnssec]