Detail publikace

Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures

ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing, roč. 19, č. 3, 2007, s. 363-374. ISSN 0934-5043.
Název česky
Zobecněná verifikace programů s lineárními zřetězenými datovými strukturami založená na detekci více opakujících se vzorů v paměti
Typ
článek v časopise
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Erlebach Pavel, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Klíčová slova

formální verifikace, analýza programů, zřetězené dynamické struktury

Abstrakt

Článek popisuje nový přístup k automatické verifikaci programů manipulujících rozšířené lineární dynamické struktury založené na ukazatelích pomocí automatické detekce vzorů struktur opakujících se v paměti.

Rok
2007
Strany
363-374
Časopis
Formal Aspects of Computing, roč. 19, č. 3, ISSN 0934-5043
Vydavatel
Springer London
BibTeX 
@ARTICLE{FITPUB8292,
   author = "Milan \v{C}e\v{s}ka and Pavel Erlebach and Tom\'{a}\v{s} Vojnar",
   title = "Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures",
   pages = "363--374",
   journal = "Formal Aspects of Computing",
   volume = 19,
   number = 3,
   year = 2007,
   ISSN = "0934-5043",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8292"
}
Nahoru