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. In: Implementation and Application of Automata. Lecture Notes in Computer Science, roč. 5148. Berlin: Springer Verlag, 2008, s. 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
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)
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
Konference
13th International Conference on Implementation and Application of Automata -- CIAA'08, San Francisco, California, US
ISBN
978-3-540-70843-8
Vydavatel
Springer Verlag
Místo
Berlin, DE
BibTeX 
@INPROCEEDINGS{FITPUB8672,
   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 = "57--67",
   booktitle = "Implementation and Application of Automata",
   series = "Lecture Notes in Computer Science",
   volume = 5148,
   year = 2008,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-70843-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8672"
}
Nahoru