Článek ve sborníku konference

ČEŠKA Milan, ERLEBACH Pavel a VOJNAR Tomáš. Pattern-based Verification for Trees. In: Computer Aided Systems Theory. Berlin: Springer Verlag, 2007, s. 488-496. ISBN 978-3-540-75866-2.
Jazyk publikace:angličtina
Název publikace:Pattern-based Verification for Trees
Název (cs):Verifikace založená na vzorech pro programy pracující se stromy
Strany:488-496
Sborník:Computer Aided Systems Theory
Konference:11th International Conference on Computer Aided Systems Theory and Technology, EUROCAST 2007
Řada knih:LNCS 4739
Místo vydání:Berlin, DE
Rok:2007
ISBN:978-3-540-75866-2
Vydavatel:Springer Verlag
Klíčová slova
formal verification, program analysis, shape analysis, dynamic data structures, repeated patterns
Anotace
Č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.
BibTeX:
@INPROCEEDINGS{
   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 = {LNCS 4739},
   year = 2007,
   location = {Berlin, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-540-75866-2},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=8511}
}

Vaše IPv4 adresa: 3.227.233.6
Přepnout na https