Result Details
Pattern-based Verification for Trees
ERLEBACH, P.; VOJNAR, T.; ČEŠKA, M. Pattern-based Verification for Trees. Computer Aided Systems Theory. Lecture Notes in Computer Science. Berlin: Springer Verlag, 2007. p. 488-496. ISBN: 978-3-540-75866-2.
Type
conference paper
Language
English
Authors
Erlebach Pavel, Ing., Ph.D., FIT (FIT), DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Češka Milan, prof. RNDr., CSc., DITS (FIT)
Abstract
Pattern-based verification trying to abstract away the concrete numberof repeated memory structures is one of the approaches that haverecently been proposed for verification of programs using dynamic datastructures linked with pointers. It proved to be very efficient andpromising on extended linear data structures. In this paper, weoverview some possibilities how to extend this approach to programsover tree structures.
Keywords
formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns
Published
2007
Pages
488–496
Proceedings
Computer Aided Systems Theory
Series
Lecture Notes in Computer Science
Volume
4739
Conference
11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
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="Lecture Notes in Computer Science",
volume="4739",
pages="488--496",
publisher="Springer Verlag",
address="Berlin",
isbn="978-3-540-75866-2"
}
Projects
Advanced Formal Approaches in the Design and Verification of Computer-Based Systems, GACR, Standardní projekty, GA102/07/0322, start: 2007-01-01, end: 2009-12-31, completed
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Integrated approach to education of PhD students in the area of parallel and distributed systems, GACR, Doktorské granty, GD102/05/H050, start: 2005-01-01, end: 2008-12-31, completed
Security-Oriented Research in Information Technology, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, start: 2007-01-01, end: 2013-12-31, running
Research groups
Departments