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

03.01.2012

Location

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

www