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. Lecture Notes in Computer Science, roč. 4739. Berlin: Springer Verlag, 2007, s. 488-496. ISBN 978-3-540-75866-2.
Název česky
Verifikace založená na vzorech pro programy pracující se stromy
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Abstrakt

Článek diskutuje možnosti zobecnění úspěšné metody verifikace programů pracujících s rozšířenými lineárními dynamickými datovými strukturami, založenou na automatické detekci a sumarizaci opakujících se vzorů v paměti, pro potřebu verifikace programů nad stromovými strukutrami.

Rok
2007
Strany
488-496
Sborník
Computer Aided Systems Theory
Řada
Lecture Notes in Computer Science
Svazek
4739
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
Springer Verlag
Místo
Berlin, DE
BibTeX
@INPROCEEDINGS{FITPUB8511,
   author = "Milan \v{C}e\v{s}ka and Pavel Erlebach and Tom\'{a}\v{s} Vojnar",
   title = "Pattern-based Verification for Trees",
   pages = "488--496",
   booktitle = "Computer Aided Systems Theory",
   series = "Lecture Notes in Computer Science",
   volume = 4739,
   year = 2007,
   location = "Berlin, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-540-75866-2",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/8511"
}
Nahoru