Detail publikace

Abstract Regular Tree Model Checking

BOUAJJANI, A.; HABERMEHL, P.; ROGALEWICZ, A.; VOJNAR, T. Abstract Regular Tree Model Checking. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2006, vol. 149, no. 1, p. 37-48. ISSN: 1571-0661.

Název česky

Abstraktní regulární model checking nad stromy

Typ

článek v časopise

Jazyk

anglicky

Autoři

Bouajjani Ahmed
Habermehl Peter
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)

URL

http://www.sciencedirect.com/science?_ob=MImg&_imagekey=B75H1-4J3Y06T-4-1&_cdi=13109&_user=640830&_orig=browse&_coverDate=02%2F03%2F2006&_sk=998509998&view=c&wchp=dGLbVlz-zSkWA&md5=8e10fd6367f1b94bb331d35d09b3ae26&ie=/sdarticle.pdf PDF

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{BUT45073,
  author="Ahmed {Bouajjani} and Peter {Habermehl} and Adam {Rogalewicz} and Tomáš {Vojnar}",
  title="Abstract Regular Tree Model Checking",
  journal="ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE",
  year="2006",
  volume="149",
  number="1",
  pages="37--48",
  issn="1571-0661"
}