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
zpráva odborná
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ámciprototypové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 doARTMC 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 
@techreport{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",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2008-007, Brno",
  pages="15",
  url="http://www.fit.vutbr.cz/~vojnar/Publications/bhhtv-nartmc-tr-08.pdf"
}
Nahoru