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"
}
Soubory
Nahoru