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. Implementation and Application of Automata. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2008. p. 57-67. ISBN: 978-3-540-70843-8.
Název česky
Testování univerzality stromových automatů založené na protiřetězcích
Typ
článek ve sborníku konference
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.
Klíčová slova

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

Abstrakt

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í.

Rok
2008
Strany
57–67
Sborník
Implementation and Application of Automata
Řada
Lecture Notes in Computer Science
Svazek
5148
ISBN
978-3-540-70843-8
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT34275,
  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",
  booktitle="Implementation and Application of Automata",
  year="2008",
  series="Lecture Notes in Computer Science",
  volume="5148",
  pages="57--67",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-70843-8"
}
Nahoru