Detail publikace
Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures
ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures. Formal Aspects of Computing, 2007, vol. 19, no. 3, p. 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
anglicky
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é naukazatelích pomocí automatické detekce vzorů struktur opakujících se vpaměti.
Rok
2007
Strany
363–374
Časopis
Formal Aspects of Computing, roč. 19, č. 3, ISSN 0934-5043
BibTeX
@article{BUT45155,
author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
title="Generalised Multi-Pattern-Based Verification of Programs with Linear Linked Structures",
journal="Formal Aspects of Computing",
year="2007",
volume="19",
number="3",
pages="363--374",
issn="0934-5043",
url="http://www.springerlink.com/content/47472236k6213t7l/"
}