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
Češka Milan, prof. RNDr., CSc. (DITS FIT BUT)
Erlebach Pavel, Ing. (DITS FIT BUT)
Vojnar Tomáš, prof. Ing., Ph.D. (DITS FIT BUT)
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