Publication detail
Pattern-based Verification for Trees
ERLEBACH, P. VOJNAR, T. ČEŠKA, M.
Original Title
Pattern-based Verification for Trees
English Title
Pattern-based Verification for Trees
Type
conference paper
Language
en
Original 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.
English 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.
Keywords
formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns
RIV year
2007
Released
08.11.2007
Publisher
Springer Verlag
Location
Berlin
ISBN
978-3-540-75866-2
Book
Computer Aided Systems Theory
Edition
LNCS 4739
Pages from
488
Pages to
496
Pages count
9
Documents
BibTex
@inproceedings{BUT30896,
author="Pavel {Erlebach} and Tomáš {Vojnar} and Milan {Češka}",
title="Pattern-based Verification for Trees",
annote="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.",
address="Springer Verlag",
booktitle="Computer Aided Systems Theory",
chapter="30896",
edition="LNCS 4739",
howpublished="print",
institution="Springer Verlag",
journal="Lecture Notes in Computer Science (IF 0,513)",
year="2007",
month="november",
pages="488--496",
publisher="Springer Verlag",
type="conference paper"
}