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
Erlebach Pavel, Ing., Ph.D.
Češka Milan, prof. RNDr., CSc.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
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/"
}
Nahoru