Detail publikace

Forester: Shape Analysis Using Tree Automata (Competition Contribution)

HRUŠKA, M.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.; HOLÍK, L.; ROGALEWICZ, A. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 432-435. ISBN: 978-3-662-46680-3.
Název česky
Lesník: Analýza haldy pomocí stromových automatů (soutěžní příspěvek)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Lengál Ondřej, Ing., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
URL
Klíčová slova

program verification forest automata shape analysis memory safety heap manipulation dynamic data structures

Abstrakt

Tento článek krátce popisuje a diskutuje silné a slabé body nástroje Lesník při jeho účasti v soutěži SV-COMP'15.

Rok
2015
Strany
432–435
Sborník
Proceedings of TACAS'15
Řada
Lecture Notes in Computer Science
Svazek
9035
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15), London, GB
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-46681-0_37
EID Scopus
2-s2.0-84926666987
BibTeX 
@inproceedings{BUT119807,
  author="Martin {Hruška} and Ondřej {Lengál} and Jiří {Šimáček} and Tomáš {Vojnar} and Lukáš {Holík} and Adam {Rogalewicz}",
  title="Forester: Shape Analysis Using Tree Automata (Competition Contribution)",
  booktitle="Proceedings of TACAS'15",
  year="2015",
  series="Lecture Notes in Computer Science",
  volume="9035",
  pages="432--435",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-46681-0\{_}37",
  isbn="978-3-662-46680-3",
  url="http://dx.doi.org/10.1007/978-3-662-46681-0_37"
}
Nahoru