Článek v časopise

 
Bouajjani, A., Habermehl, P., Rogalewicz, A., Vojnar, T.: Abstract Regular (Tree) Model Checking, In: International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, 2012, DE, s. 167-191, ISSN 1433-2779
Jazyk publikace:angličtina
Název publikace:Abstract Regular (Tree) Model Checking
Název (cs):Abstraktní regulární (stromový) model checking
Strany:167-191
Místo vydání:DE
Rok:2012
URL:http://www.springerlink.com/content/137uu7118p2054j2/
Časopis:International Journal on Software Tools for Technology Transfer, roč. 14, č. 2, DE
ISSN:1433-2779
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
Anotace
Č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.
BibTeX:
@ARTICLE{
   author = {Ahmed Bouajjani and Peter Habermehl and Adam Rogalewicz and
	Tomáš 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},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9968}
}