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