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