Result Details
Pattern-Based Verification for Trees
ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T. Pattern-Based Verification for Trees. Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007. p. 181-182. ISBN: 978-3-540-75866-2.
Type
conference paper
Language
English
Authors
Erlebach Pavel, 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)
Vojnar Tomáš, prof. Ing., Ph.D., DITS (FIT)
Abstract
The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.
Keywords
Pattern-Based Verification, Trees, Formal verification
Published
2007
Pages
181–182
Proceedings
Computer Aided Systems Theory - EUROCAST 2007
Conference
11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
ISBN
978-3-540-75866-2
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Grand Canaria
BibTeX
@inproceedings{BUT28583,
author="Pavel {Erlebach} and Milan {Češka} and Tomáš {Vojnar}",
title="Pattern-Based Verification for Trees",
booktitle="Computer Aided Systems Theory - EUROCAST 2007",
year="2007",
pages="181--182",
publisher="The Universidad de Las Palmas de Gran Canaria",
address="Las Palmas de Grand Canaria",
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
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-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
Automated methods and tools supporting development of reliable parallel and distributed systems, GACR, Standardní projekty, GA102/04/0780, start: 2004-01-01, end: 2006-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
Research groups
Departments