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é 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
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"
}
Nahoru