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. FORMAL METHODS IN SYSTEM DESIGN, 2012, vol. 2012, no. 41, p. 83-106. ISSN: 0925-9856.
Název česky
Automaty nad lesy pro verifikaci programů s dynamickými datovými strukturami
Typ
článek v časopise
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
2012
Strany
83–106
Časopis
FORMAL METHODS IN SYSTEM DESIGN, roč. 2012, č. 41, ISSN 0925-9856
DOI
10.1007/s10703-012-0150-8
BibTeX 
@article{BUT96963,
  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",
  journal="FORMAL METHODS IN SYSTEM DESIGN",
  year="2012",
  volume="2012",
  number="41",
  pages="83--106",
  doi="10.1007/s10703-012-0150-8",
  issn="0925-9856",
  url="http://www.springerlink.com/content/p14x123477v1r722/"
}
Nahoru