Detail publikace

Abstract Regular (Tree) Model Checking

ROGALEWICZ, A.; VOJNAR, T.; HABERMEHL, P.; BOUAJJANI, A. Abstract Regular (Tree) Model Checking. International Journal on Software Tools for Technology Transfer, 2012, vol. 14, no. 2, p. 167-191. ISSN: 1433-2779.
Název česky
Abstraktní regulární (stromový) model checking
Typ
článek v časopise
Jazyk
anglicky
Autoři
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Habermehl Peter
Bouajjani Ahmed
URL
Klíčová slova

Formal verification, Infinite-state and parameterised systems, Programs with dynamic linked data structures, Regular model checking, Abstraction, Finite word and tree automata

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
DOI
10.1007/s10009-011-0205-y
BibTeX 
@article{BUT91492,
  author="Adam {Rogalewicz} and Tomáš {Vojnar} and Peter {Habermehl} and Ahmed {Bouajjani}",
  title="Abstract Regular (Tree) Model Checking",
  journal="International Journal on Software Tools for Technology Transfer",
  year="2012",
  volume="14",
  number="2",
  pages="167--191",
  doi="10.1007/s10009-011-0205-y",
  issn="1433-2779",
  url="http://www.springerlink.com/content/137uu7118p2054j2/"
}
Nahoru