Product Details
VATA: A Library for Efficient Manipulation of Non-Deterministic Tree Automata
Created: 2012
Czech title
VATA: Knihovna pro efektivní práci s nedeterministickými stromovými automaty
Type
software
License
required - free
Authors
Lengál Ondřej, Ing., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Šimáček Jiří, Ing., Ph.D. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
Keywords
tree automaton, language inclusion, antichain, simulation, tree automata library
Description
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/
Licence
Free software under the terms of GNU GPL (cf. http://www.gnu.org/licenses/gpl.html).
Projects
Dealing with Complex Data Structures and Concurrency within the Rich Model Toolkit (OC10009)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Mathematical and Engineering Approaches to Developing Reliable and Secure Concurrent and Distributed Computer Systems (GD102/09/H042)
Security-Oriented Research in Information Technology (MSM0021630528)
Static and Dynamic Verification of Programs with Advanced Features of Concurrency and Unboundedness (GAP103/10/0306)
The IT4Innovations Centre of Excellence (ED1.1.00/02.0070)
Verification and Optimization of Computer Systems (FIT-S-12-1)
Research groups
Departments
Department of Intelligent Systems FIT BUT (DITS FIT BUT)