Product detail

VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata

LENGÁL, O. ŠIMÁČEK, J. VOJNAR, T.

Product type

software

Abstract

The library contains efficient implementation of tree automata operations with the focus on testing language inclusion of a pair of automata.

Keywords

tree automaton, language inclusion, antichain, simulation, tree automata library

Create date

3. 1. 2012

Location

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

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

VUT