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
Hruška Martin, Ing. (UITS FIT VUT)
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Lengál Ondřej, Ing., Ph.D. (UITS FIT VUT)
Rogalewicz Adam, doc. Mgr., Ph.D. (UITS FIT VUT)
Šimáček Jiří, Ing., Ph.D. (UITS FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
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
10.1007/978-3-662-54580-5_24
UT WoS
000440733400024
EID Scopus
2-s2.0-85017522557
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