Detail publikace

Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata

BOUAJJANI Ahmed, HABERMEHL Peter, HOLÍK Lukáš, TOUILI Tayssir a VOJNAR Tomáš. Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. FIT-TR-2008-007, Brno: Fakulta informačních technologií VUT v Brně, 2008.
Název česky
Testování univerzality stromových automatů založené na protiřetězcích
Typ
technická zpráva
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Touili Tayssir (LIAFA UP7/CNRS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Jedná se o úplnou verzi článku prezentovaného na CIAA'08, ve kterém byl navržen algoritmus pro testování univerzality stromových automatů postavený na protiřetězcích. Tento algoritmus byl implementován v rámci prototypového nástroje pro abstraktní regularní stromový model checking (ARTMC) a byla s ním provedena řada experimentů, ktere ukazují, že nový algoritmus se chová v praxi velice dobře. Zapojení tohoto algoritmu do ARTMC nástroje vedlo k jeho výraznému zefektivnění.

Rok
2008
Strany
15
Vydavatel
Fakulta informačních technologií VUT v Brně
Místo
FIT-TR-2008-007, Brno, CZ
BibTeX 
@TECHREPORT{FITPUB8818,
   author = "Ahmed Bouajjani and Peter Habermehl and Luk\'{a}\v{s} Hol\'{i}k and Tayssir Touili and Tom\'{a}\v{s} Vojnar",
   title = "Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata",
   pages = 15,
   year = 2008,
   location = "FIT-TR-2008-007, Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8818"
}
Nahoru