Detail produktu

Tool for Computing Simulations

ŠIMÁČEK, J. HOLÍK, L. VOJNAR, T.

Typ produktu

software

Abstrakt

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.

Klíčová slova

finite automata, tree automata, simulation, upward simulation, downward simulation, labelled transition systems

Datum vzniku

03.11.2009

Umístění

Nástroj i dokumentaci lze získat na URL: http://www.fit.vutbr.cz/research/groups/verifit/tools/sa/

Možnosti využití

K využití výsledku jiným subjektem je vždy nutné nabytí licence

Licenční poplatek

Poskytovatel licence na výsledek nepožaduje licenční poplatek

www

Dokumenty