Detail publikace

Forest Automata for Verification of Heap Manipulation

HOLÍK, L.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T.; HABERMEHL, P. Forest Automata for Verification of Heap Manipulation. FIT-TR-2011-01, Brno: Faculty of Information Technology BUT, 2011. p. 0-0.
Název česky
Automaty nad lesy pro verifikaci programů s dynamickými datovými strukturami
Typ
zpráva odborná
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Habermehl Peter
URL
Klíčová slova

shape analysis, dynamic linked data structures, tree automata, trees, linked lists, formal verification, abstract regular model checking

Abstrakt

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

Rok
2011
Strany
30
Vydavatel
Faculty of Information Technology BUT
Místo
FIT-TR-2011-01, Brno
BibTeX 
@techreport{BUT192764,
  author="Lukáš {Holík} and Adam {Rogalewicz} and Jiří {Šimáček} and Tomáš {Vojnar} and Peter {Habermehl}",
  title="Forest Automata for Verification of Heap Manipulation",
  year="2011",
  publisher="Faculty of Information Technology BUT",
  address="FIT-TR-2011-01, Brno",
  pages="30",
  url="http://www.fit.vutbr.cz/~isimacek/pub/FIT-TR-2011-01.pdf"
}
Nahoru