Detail publikace

Abstract Regular Tree Model Checking

BOUAJJANI Ahmed, HABERMEHL Peter, ROGALEWICZ Adam a VOJNAR Tomáš. Abstract Regular Tree Model Checking. In: Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005. Aarhus: Basic Research in Computer Science, Computer Science Departments of the Aarlborg and Aarhus Universities, 2005, s. 15-24. ISSN 0909-3206.
Název česky
Abstraktní regulární model checking nad stromy
Typ
článek ve sborníku konference
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
2005
Strany
15-24
Časopis
BRICS Notes Series, roč. 2005, č. 4, ISSN 0909-3206
Sborník
Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005
Konference
7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005, San Francisco, California, US
Vydavatel
Basic Research in Computer Science, Computer Science Departments of the Aarlborg and Aarhus Universities
Místo
Aarhus, DK
BibTeX
@INPROCEEDINGS{FITPUB7817,
   author = "Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and Tom\'{a}\v{s} Vojnar",
   title = "Abstract Regular Tree Model Checking",
   pages = "15--24",
   booktitle = "Proceedings of 7th International Workshop on Verification of Infinite-State Systems -- INFINITY 2005",
   journal = "BRICS Notes Series",
   volume = 2005,
   number = 4,
   year = 2005,
   location = "Aarhus, DK",
   publisher = "Basic Research in Computer Science, Computer Science Departments of the Aarlborg and Aarhus Universities",
   ISSN = "0909-3206",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/7817"
}
Nahoru