Detail publikace

Pattern-based Verification for Trees

ERLEBACH, P.; VOJNAR, T.; ČEŠKA, M. Pattern-based Verification for Trees. In Computer Aided Systems Theory. LNCS 4739. Berlin: Springer Verlag, 2007. p. 488-496. ISBN: 978-3-540-75866-2.
Název česky
Verifikace založená na vzorech pro programy pracující se stromy
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Erlebach Pavel, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Češka Milan, prof. RNDr., CSc.
Klíčová slova

formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns

Abstrakt

Článek diskutuje možnosti zobecnění úspěšné metody verifikace programů pracujících s rozšířenými lineárními dynamickými datovými strukturami, založenou na automatické detekci a sumarizaci opakujících se vzorů v paměti, pro potřebu verifikace programů nad stromovými strukutrami.

Rok
2007
Strany
488–496
Sborník
Computer Aided Systems Theory
Řada
LNCS 4739
ISBN
978-3-540-75866-2
Vydavatel
Springer Verlag
Místo
Berlin
BibTeX 
@inproceedings{BUT30896,
  author="Pavel {Erlebach} and Tomáš {Vojnar} and Milan {Češka}",
  title="Pattern-based Verification for Trees",
  booktitle="Computer Aided Systems Theory",
  year="2007",
  series="LNCS 4739",
  pages="488--496",
  publisher="Springer Verlag",
  address="Berlin",
  isbn="978-3-540-75866-2"
}
Nahoru