Detail publikace

Forest Automata for Verification of Heap Manipulation

HABERMEHL Peter, HOLÍK Lukáš, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forest Automata for Verification of Heap Manipulation. Formal Methods in System Design, roč. 2012, č. 41, s. 83-106. ISSN 0925-9856. Dostupné z: http://www.springerlink.com/content/p14x123477v1r722/
Název česky
Automaty nad lesy pro verifikaci programů s dynamickými datovými strukturami
Typ
článek v časopise
Jazyk
angličtina
Autoři
Habermehl Peter (UPAR7)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek navrhuje originální koncept automatů nad lesy pro verifikaci programů s dynamickými datovými strukturami.

Rok
2012
Strany
83-106
Časopis
Formal Methods in System Design, roč. 2012, č. 41, ISSN 0925-9856
Vydavatel
Springer Verlag
DOI
BibTeX
@ARTICLE{FITPUB10013,
   author = "Peter Habermehl and Luk\'{a}\v{s} Hol\'{i}k and Adam Rogalewicz and Ji\v{r}\'{i} \v{S}im\'{a}\v{c}ek and Tom\'{a}\v{s} Vojnar",
   title = "Forest Automata for Verification of Heap Manipulation",
   pages = "83--106",
   journal = "Formal Methods in System Design",
   volume = 2012,
   number = 41,
   year = 2012,
   ISSN = "0925-9856",
   doi = "10.1007/s10703-012-0150-8",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10013"
}
Nahoru