Detail publikace
Pattern-Based Verification for Trees
ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-Based Verification for Trees. In: Computer Aided Systems Theory - EUROCAST 2007. Las Palmas de Grand Canaria: Universidad de Las Palmas de Gran Canaria, 2007, s. 181-182. ISBN 978-3-540-75866-2.
Název česky
Pattern-Based Verification for Trees
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Češka Milan, prof. RNDr., CSc. (UITS FIT VUT)
Erlebach Pavel, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Erlebach Pavel, Ing. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
Klíčová slova
Pattern-Based Verification, stromy, formální verifikace
Abstrakt
Článek presentuje rozšíření metody verifikace programů s dynamickými datovými strukturami založené na vzorech z lineárních na stromové struktury.
Rok
2007
Strany
181-182
Sborník
Computer Aided Systems Theory - EUROCAST 2007
Konference
11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007, Las Palmas, Gran Canaria, ES
ISBN
978-3-540-75866-2
Vydavatel
Universidad de Las Palmas de Gran Canaria
Místo
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" }