Detail publikace

Abstract Regular Tree Model Checking

BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular Tree Model Checking. Electronic Notes in Theoretical Computer Science, roč. 149, č. 1, 2006, s. 37-48. ISSN 1571-0661.
Název česky
Abstraktní regulární model checking nad stromy
Typ
článek v časopise
Jazyk
angličtina
Autoři
Bouajjani Ahmed (UPAR7)
Habermehl Peter (UPAR7)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

formální verifikace, model checking, symbolická verifikace, regulární model checking, abstrahuj-ověř-zjemni, konečné stromové automaty

Abstrakt

Článek zobecňuje dříve zavedenou metodu abstraktního regulárního model checkingu nad systémy s lineární (linearizovatelnou) strukturou na systémy se stromovu strukturou stavů. K representaci nekonečných množin stavů takových systémů jsou použity konečné stromové automaty.

Rok
2006
Strany
37-48
Časopis
Electronic Notes in Theoretical Computer Science, roč. 149, č. 1, ISSN 1571-0661
Kniha
Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005)
Vydavatel
Elsevier Science
BibTeX
@ARTICLE{FITPUB7998,
   author = "Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar",
   title = "Abstract Regular Tree Model Checking",
   pages = "37--48",
   booktitle = "Proceedings of the 7th International Workshop on Verification of Infinite-State Systems (INFINITY 2005)",
   journal = "Electronic Notes in Theoretical Computer Science",
   volume = 149,
   number = 1,
   year = 2006,
   publisher = "Elsevier Science",
   ISSN = "1571-0661",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7998"
}
Nahoru