Detail publikace

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

HOLÍK, L., VOJNAR, T., BOUAJJANI, A., HABERMEHL, P., TOUILI, T. Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata. FIT-TR-2008-007, Brno: Faculty of Information Technology BUT, 2008.
Název česky
Testování univerzality stromových automatů založené na protiřetězcích
Typ
audiovizuální tvorba
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Bouajjani Ahmed
Habermehl Peter
Touili Tayssir, Dr., Ph.D.
URL
Klíčová slova

universality, tree automata, antichain, abstract regular tree model checking

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
Faculty of Information Technology BUT
Místo
FIT-TR-2008-007, Brno
BibTeX 
@misc{BUT63965,
  author="Lukáš {Holík} and Tomáš {Vojnar} and Ahmed {Bouajjani} and Peter {Habermehl} and Tayssir {Touili}",
  title="Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata",
  year="2008",
  pages="15",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2008-007, Brno",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/bhhtv-nartmc-tr-08.pdf",
  note="presentation"
}
Nahoru