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. Lecture Notes in Computer Science, 2011, vol. 2011, no. 6806, p. 424-440. ISSN: 0302-9743.
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
2011
Strany
424–440
Časopis
Lecture Notes in Computer Science, roč. 2011, č. 6806, ISSN 0302-9743
BibTeX 
@article{BUT76287,
  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="Lecture Notes in Computer Science",
  year="2011",
  volume="2011",
  number="6806",
  pages="424--440",
  issn="0302-9743",
  url="http://www.springerlink.com/content/408322l43870t177/"
}
Nahoru