Applied result detail

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

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

Original Title

English Title

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

Type

Software

Abstract

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

Abstract in English

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

Key words in English

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

Location

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

Licence fee

In order to use the result by another entity, it is always necessary to acquire a license

www

VUT