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
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