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

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

software

vyžadována - zdarma

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

Tato knihovna obsahuje efektivní implementaci operací nad stromovými automaty se zaměřením na operaci testování jazykové inkluze páru automatů.

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

Volně šiřitelný software poskytovaný pod licencí GNU GPL (přesné znění licence je dostupné na stránce http://www.gnu.org/licenses/gpl.html).

Centrum excelence IT4Innovations (ED1.1.00/02.0070)
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů (GD102/09/H042)
Práce se složitými datovými strukturami a paralelismem v prostředí Rich Model Toolkit (OC10009)
Statická a dynamická verifikace programů s pokročilými rysy paralelismu a neomezenosti (GAP103/10/0306)
Verifikace a optimalizace počítačových systémů (FIT-S-12-1)
Výzkum informačních technologií z hlediska bezpečnosti (MSM0021630528)

Formální verifikace a simulace pro tvorbu bezpečných systémů (DC7-VZ)
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)

Ústav inteligentních systémů FIT VUT v Brně (UITS FIT VUT)