Článek ve sborníku konference

HRUŠKA Martin, HOLÍK Lukáš, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forester: From Heap Shapes to Automata Predicates. In: Proceedings of TACAS'17. Heidelberg: Springer Verlag, 2017, s. 365-369. ISBN 978-3-662-54580-5.
Jazyk publikace:angličtina
Název publikace:Forester: From Heap Shapes to Automata Predicates
Název (cs):Lesník: Od tvarů hromady k automatovým predikátům
Strany:365-369
Sborník:Proceedings of TACAS'17
Konference:European Joint Conferences on Theory and Practice of Software
Řada knih:LNCS 10206
Místo vydání:Heidelberg, DE
Rok:2017
ISBN:978-3-662-54580-5
DOI:10.1007/978-3-662-54580-5_24
Vydavatel:Springer Verlag
Klíčová slova
program verification
forest automata
shape analysis
memory safety
heap manipulation
dynamic data structures
backward run
abstraction refinement
Anotace
Č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.
BibTeX:
@INPROCEEDINGS{
   author = {Martin Hru{\v{s}}ka and Luk{\'{a}}{\v{s}}
	Hol{\'{i}}k and Ond{\v{r}}ej Leng{\'{a}}l and Adam
	Rogalewicz and Ji{\v{r}}{\'{i}}
	{\v{S}}im{\'{a}}{\v{c}}ek and Tom{\'{a}}{\v{s}}
	Vojnar},
   title = {Forester: From Heap Shapes to Automata Predicates},
   pages = {365--369},
   booktitle = {Proceedings of TACAS'17},
   series = {LNCS 10206},
   year = 2017,
   location = {Heidelberg, DE},
   publisher = {Springer Verlag},
   ISBN = {978-3-662-54580-5},
   doi = {10.1007/978-3-662-54580-5_24},
   language = {english},
   url = {http://www.fit.vutbr.cz/research/view_pub.php.cs?id=11414}
}

Vaše IPv4 adresa: 35.175.200.4
Přepnout na https