Publication Details
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.
Czech title
Verifikace založená na vzorech pro programy pracující se stromy
Type
conference paper
Language
English
Authors
Keywords
formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns
Abstract
Pattern-based verification trying to abstract away the concrete number of repeated memory structures is one of the approaches that have recently been proposed for verification of programs using dynamic data structures linked with pointers. It proved to be very efficient and promising on extended linear data structures. In this paper, we overview some possibilities how to extend this approach to programs over tree structures.
Published
2007
Pages
488–496
Proceedings
Computer Aided Systems Theory
Series
LNCS 4739
ISBN
978-3-540-75866-2
Publisher
Springer Verlag
Place
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"
}