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

3. 11. 2009

Location

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

Possibilities of use

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

Licence fee

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

www

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