Detail produktu

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

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

Typ produktu

software

Abstrakt

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

Klíčová slova

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

Datum vzniku

3. 1. 2012

Umístění

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

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

VUT