Projects

Description:
VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata
Authors:	Lengál Ondřej, Šimáček Jiří, Vojnar Tomáš
Type:	software
Created:	2012
Licence:	required - no fee
Keywords:	tree automaton, language inclusion, antichain, simulation, tree automata library
The library contains efficient implementation of tree automata operations with the focus on testing language inclusion of a pair of automata.
Location:
The tool is available at http://www.fit.vutbr.cz/research/groups/verifit/tools/libvata/
Research groups:
Formal verification and simulation for the design of secure systems (DC7-VZ) Automated Analysis and Verification Research Group - VeriFIT (VZ VERIFIT)
Departments:
Department of Intelligent Systems FIT BUT (DITS)
Licence terms:
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

You are in section