Faculty of Information Technology, BUT

Publication Details

Pattern-Based Verification for Trees

ČEŠKA Milan, ERLEBACH Pavel and VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: The Universidad de Las Palmas de Gran Canaria, 2007, pp. 181-182. ISBN 978-3-540-75866-2.
Czech title
Pattern-Based Verification for Trees
Type
conference paper
Language
english
Authors
Keywords
Pattern-Based Verification, Trees, Formal verification
Abstract
The paper presents an extension of pattern-based verification of programs with dynamic data structues from linear to tree structures.
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, Las Palmas, Gran Canaria, ES
ISBN
978-3-540-75866-2
Publisher
The Universidad de Las Palmas de Gran Canaria
Place
Las Palmas de Grand Canaria, ES
BibTeX
@INPROCEEDINGS{FITPUB8293,
   author = "Milan \v{C}e\v{s}ka and Pavel Erlebach and Tom\'{a}\v{s} Vojnar",
   title = "Pattern-Based Verification for Trees",
   pages = "181--182",
   booktitle = "Computer Aided Systems Theory - EUROCAST 2007",
   year = 2007,
   location = "Las Palmas de Grand Canaria, ES",
   publisher = "The Universidad de Las Palmas de Gran Canaria",
   ISBN = "978-3-540-75866-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8293"
}
Back to top