Detail výsledku

Harnessing Forest Automata for Verification of Heap Manipulating Programs

ŠIMÁČEK, J. Harnessing Forest Automata for Verification of Heap Manipulating Programs. Brno: Faculty of Information Technology BUT, 2012. 128 p.
Typ
dizertace
Jazyk
angličtina
Autoři
Šimáček Jiří, Ing., Ph.D.
Klíčová slova

pointers, heaps, verification, shape analysis, regular model checking,
finite tree automata, antichains, simulations, language inclusion

Rok
2012
Strany
128
Vydavatel
Faculty of Information Technology BUT
Místo
Brno
BibTeX 
@misc{BUT192865,
  author="Jiří {Šimáček}",
  title="Harnessing Forest Automata for Verification of Heap Manipulating Programs",
  year="2012",
  pages="128",
  publisher="Faculty of Information Technology BUT",
  address="Brno",
  url="https://www.fit.vut.cz/research/publication/10181/"
}
Soubory
Výzkumné skupiny
Výzkumná skupina automatizované analýzy a verifikace - VeriFIT (VZ VERIFIT)
Pracoviště
Ústav inteligentních systémů (UITS)
Nahoru