Fakulta informačních technologií VUT v Brně

Detail publikace

Forester: From Heap Shapes to Automata Predicates

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. Lecture Notes in Computer Science, roč. 10206. Heidelberg: Springer Verlag, 2017, s. 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
angličtina
Autoři
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
Konference
European Joint Conferences on Theory and Practice of Software, Uppsala, SE
ISBN
978-3-662-54580-5
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
BibTeX
@INPROCEEDINGS{FITPUB11414,
   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 = "Lecture Notes in Computer Science",
   volume = 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 = "https://www.fit.vut.cz/research/publication/11414"
}
Nahoru