Detail aplikovaného výsledku

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

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

Originální název

Anglický název

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

Druh

Software

Abstrakt

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

Abstrakt anglicky

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

Klíčová slova anglicky

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

Umístění

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

Licenční poplatek

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

www

VUT