Článek v časopise

 
Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, In: Lecture Notes in Computer Science, roč. 2011, č. 6806, DE, s. 424-440, ISSN 0302-9743
Jazyk publikace:angličtina
Název publikace:Forest Automata for Verification of Heap Manipulation
Název (cs):Automaty nad lesy pro verifikaci programů s dynamickými datovými strukturami
Strany:424-440
Místo vydání:DE
Rok:2011
Časopis:Lecture Notes in Computer Science, roč. 2011, č. 6806, DE
ISSN:0302-9743
URL:http://www.springerlink.com/content/408322l43870t177/ [HTML]
Klíčová slova
shape analysis, dynamic linked data structures, tree automata, trees, linked lists, formal verification, abstract regular model checking
Anotace
Článek navrhuje originální koncept automatů nad lesy pro verifikaci programů s dynamickými datovými strukturami.
BibTeX:
@ARTICLE{
   author = {Peter Habermehl and Lukáš Holík and Adam Rogalewicz and Jiří
	Šimáček and Tomáš Vojnar},
   title = {Forest Automata for Verification of Heap Manipulation},
   pages = {424--440},
   journal = {Lecture Notes in Computer Science},
   volume = {2011},
   number = {6806},
   year = {2011},
   ISSN = {0302-9743},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9523}
}