Detail publikace

Verification of heap manipulating programs with ordered data by extended forest automata

HOLÍK, L.; LENGÁL, O.; VOJNAR, T.; JONSSON, B.; TRINH, Q.; ABDULLA, P. Verification of heap manipulating programs with ordered data by extended forest automata. Acta Informatica, 2015, vol. 53, no. 4, p. 357-385. ISSN: 0001-5903.
Název česky
Použití rozšířených lesních automatů pro verifikaci programů manipulujících s haldou s uspořádáním nad datovými elementy
Typ
článek v časopise
Jazyk
anglicky
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Jonsson Bengt
Trinh Quy Cong
Abdulla Parosh
URL
Klíčová slova

forest automata, shape analysis, dynamic linked data structures,tree automata, abstraction

Abstrakt

Publikace zobecňuje rámec pro verifikaci programů pracujícími s dynamickou pamětí pomocí rozšíření stromových automatů o podporu datovych polí.

Rok
2015
Strany
357–385
Časopis
Acta Informatica, roč. 53, č. 4, ISSN 0001-5903
DOI
10.1007/s00236-015-0235-0
UT WoS
000376978100003
EID Scopus
2-s2.0-84928978668
BibTeX 
@article{BUT119864,
  author="Lukáš {Holík} and Ondřej {Lengál} and Tomáš {Vojnar} and Bengt {Jonsson} and Quy Cong {Trinh} and Parosh {Abdulla}",
  title="Verification of heap manipulating programs with ordered data by extended forest automata",
  journal="Acta Informatica",
  year="2015",
  volume="53",
  number="4",
  pages="357--385",
  doi="10.1007/s00236-015-0235-0",
  issn="0001-5903",
  url="http://link.springer.com/article/10.1007%2Fs00236-015-0235-0"
}
Nahoru