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

VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty

software

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

The licensor does not require a license fee for the result

Lengál Ondřej, Ing., Ph.D. (DITS)
Šimáček Jiří, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (DITS)

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.

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

Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).

Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit, MŠMT, COST, OC10009, 2010-2012, running
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems, GACR, Doktorské granty, GD102/09/H042, 2009-2012, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, 2007-2013, running
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness, GACR, Standardní projekty, GAP103/10/0306, 2010-2013, running
The IT4Innovations Centre of Excellence, MŠMT, Operační program Výzkum a vývoj pro inovace, ED1.1.00/02.0070, 2011-2015, completed
Verifikace a optimalizace počítačových systémů, BUT, Vnitřní projekty VUT, FIT-S-12-1, 2012-2014, completed

Automated Analysis and Verification Research Group - VeriFIT (RG VERIFIT)

Department of Intelligent Systems (DITS)