Článek ve sborníku konference

 
Bouajjani, A., Habermehl, P., Holík, L., Touili, T., Vojnar, T.: Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata, In: Implementation and Application of Automata, Berlin, DE, Springer, 2008, s. 57-67, ISBN 978-3-540-70843-8
Jazyk publikace:angličtina
Název publikace:Antichain-based Universality and Inclusion Testing over Nondeterministic Finite Tree Automata
Název (cs):Testování univerzality stromových automatů založené na protiřetězcích
Strany:57-67
Sborník:Implementation and Application of Automata
Konference:13th International Conference on Implementation and Application of Automata -- CIAA'08
Řada knih:LNCS 5148
Místo vydání:Berlin, DE
Rok:2008
ISBN:978-3-540-70843-8
Vydavatel:Springer Verlag
Klíčová slova
unversality, tree automata, antichain, abstract regular tree model checking
Anotace
Navrhli jsme algoritmus pro testování univerzality stromových automatů postavený na protiřetězcích. Implementovali jsme jej v rámci prototypového nástroje pro abstraktní regularní stromový model checking (ARTMC) a provedli jsme řadu 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í.
BibTeX:
@INPROCEEDINGS{
   author = {Ahmed Bouajjani and Peter Habermehl and Lukáš Holík and
	Tayssir Touili and Tomáš Vojnar},
   title = {Antichain-based Universality and Inclusion Testing over
	Nondeterministic Finite Tree Automata},
   pages = {57--67},
   booktitle = {Implementation and Application of Automata},
   series = {LNCS 5148},
   year = {2008},
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-70843-8},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=8672}
}