Detail publikace
Abstract Regular (Tree) Model Checking
BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular (Tree) Model Checking. International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, 2012, s. 167-191. ISSN 1433-2779. Dostupné z: http://www.springerlink.com/content/137uu7118p2054j2/
Název česky
Abstraktní regulární (stromový) model checking
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)
Habermehl Peter (UPAR7)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt
Článek prezentuje metody abstraktního regulárního model checkingu a abstraktního regulárního stromového model checkingu, včetně jejich aplikace pro verifikaci programů se složitými datovými strukturami.
Rok
2012
Strany
167-191
Časopis
International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, ISSN 1433-2779
Vydavatel
Springer Verlag
DOI
BibTeX
@ARTICLE{FITPUB9968, author = "Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar", title = "Abstract Regular (Tree) Model Checking", pages = "167--191", journal = "International Journal on Software Tools for Technology Transfer", volume = 14, number = 2, year = 2012, ISSN = "1433-2779", doi = "10.1007/s10009-011-0205-y", language = "english", url = "https://www.fit.vut.cz/research/publication/9968" }