Přístupnostní navigace
E-application
Search Search Close
Publication detail
ERLEBACH, P. ČEŠKA, M. VOJNAR, T.
Original Title
Pattern-Based Verification for Trees
Type
conference paper
Language
English
Original 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
Authors
ERLEBACH, P.; ČEŠKA, M.; VOJNAR, T.
RIV year
2007
Released
1. 2. 2007
Publisher
The Universidad de Las Palmas de Gran Canaria
Location
Las Palmas de Grand Canaria
ISBN
978-3-540-75866-2
Book
Computer Aided Systems Theory - EUROCAST 2007
Pages from
181
Pages to
182
Pages count
2
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" }