Detail publikace

Run Forester, Run Backwards! (Competition Contribution)

HRUŠKA, M.; LENGÁL, O.; ŠIMÁČEK, J.; VOJNAR, T.; HOLÍK, L.; ROGALEWICZ, A. Run Forester, Run Backwards! (Competition Contribution). In Proceedings of TACAS'16. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2016. p. 923-926. ISBN: 978-3-662-49673-2.
Název česky
Utíkej Lesníku, utíkej pozpátku! (soutěžní příspěvěk)
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 backward run predicate abstraction

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'16. Dále také popisuje nově implementovanou techniku ve verifikační proceduře a to schopnost Lesníka běžet pozpátku.

Rok
2016
Strany
923–926
Sborník
Proceedings of TACAS'16
Řada
Lecture Notes in Computer Science
Svazek
9636
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'16 (TACAS'16), Eindhoven, NL
ISBN
978-3-662-49673-2
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-49674-9_61
UT WoS
000406428000061
EID Scopus
2-s2.0-84964057766
BibTeX 
@inproceedings{BUT130969,
  author="Martin {Hruška} and Ondřej {Lengál} and Jiří {Šimáček} and Tomáš {Vojnar} and Lukáš {Holík} and Adam {Rogalewicz}",
  title="Run Forester, Run Backwards! (Competition Contribution)",
  booktitle="Proceedings of TACAS'16",
  year="2016",
  series="Lecture Notes in Computer Science",
  volume="9636",
  pages="923--926",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-49674-9\{_}61",
  isbn="978-3-662-49673-2",
  url="http://www.springer.com/us/book/9783662496732"
}
Nahoru