Detail aplikovaného výsledku

Tool for Computing Simulations

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

Originální název

Tool for Computing Simulations

Anglický název

Tool for Computing Simulations

Druh

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.

Abstrakt aglicky

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www

https://www.fit.vut.cz/research/product/131/