Technické zprávy

Habermehl, P., Holík, L., Rogalewicz, A., Šimáček, J., Vojnar, T.: Forest Automata for Verification of Heap Manipulation, FIT-TR-2011-01, Brno, CZ, FIT VUT, 2011, s. 30
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:30
Místo vydání:FIT-TR-2011-01, Brno, CZ
Rok:2011
Vydavatel:Fakulta informačních technologií VUT v Brně
URL:http://www.fit.vutbr.cz/~isimacek/pub/FIT-TR-2011-01.pdf [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:
@TECHREPORT{
   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 = {30},
   year = {2011},
   location = {FIT-TR-2011-01, Brno, CZ},
   publisher = {Faculty of Information Technology BUT},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php?id=9720}
}

Vaše IPv4 adresa: 50.16.166.175
Přepnout na IPv6 spojení

DNSSEC [dnssec]