Detail publikace

Forester: From Heap Shapes to Automata Predicates

HRUŠKA, M.; HOLÍK, L.; LENGÁL, O.; ROGALEWICZ, A.; ŠIMÁČEK, J.; VOJNAR, T. Forester: From Heap Shapes to Automata Predicates. In Proceedings of TACAS'17. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2017. p. 365-369. ISBN: 978-3-662-54580-5.
Název česky
Lesník: Od tvarů hromady k automatovým predikátům
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Hruška Martin, Ing., Ph.D. (VZ Automata@FIT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS)
Lengál Ondřej, Ing., Ph.D. (UITS)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS)
Šimáček Jiří, Ing., Ph.D.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
Klíčová slova

program verification forest automata shape analysis memory safety heap manipulation dynamic data structures backward run abstraction refinement

Abstrakt

Článek doprovází účast nástroje Lesník v SV-COMP 2017, soutěži ve verifikaci software. Článek popisuje samotný nástroj, jeho architekturu a změny v nástroji od loňského ročníku soutěže. Konkrétně jde o zjemňování pro hierarchické lesní automaty.

Rok
2017
Strany
365–369
Sborník
Proceedings of TACAS'17
Řada
Lecture Notes in Computer Science
Svazek
10206
ISBN
978-3-662-54580-5
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-54580-5_24
UT WoS
000440733400024
EID Scopus
2-s2.0-85017522557
BibTeX 
@inproceedings{BUT134718,
  author="Martin {Hruška} and Lukáš {Holík} and Ondřej {Lengál} and Adam {Rogalewicz} and Jiří {Šimáček} and Tomáš {Vojnar}",
  title="Forester: From Heap Shapes to Automata Predicates",
  booktitle="Proceedings of TACAS'17",
  year="2017",
  series="Lecture Notes in Computer Science",
  volume="10206",
  pages="365--369",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-54580-5\{_}24",
  isbn="978-3-662-54580-5",
  url="https://www.fit.vut.cz/research/publication/11414/"
}
Nahoru