Detail publikace

Forester: Shape Analysis Using Tree Automata (Competition Contribution)

HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Forester: Shape Analysis Using Tree Automata (Competition Contribution). In: Proceedings of TACAS'15. Lecture Notes in Computer Science, roč. 9035. Heidelberg: Springer Verlag, 2015, s. 432-435. ISBN 978-3-662-46680-3. Dostupné z: http://dx.doi.org/10.1007/978-3-662-46681-0_37
Název česky
Lesník: Analýza haldy pomocí stromových automatů (soutěžní příspěvek)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing., Ph.D. (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)
URL
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'15.

Rok
2015
Strany
432-435
Sborník
Proceedings of TACAS'15
Řada
Lecture Notes in Computer Science
Svazek
9035
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'15 (TACAS'15), London, GB
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB10791,
   author = "Luk\'{a}\v{s} Hol\'{i}k and Martin Hru\v{s}ka 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: Shape Analysis Using Tree Automata (Competition Contribution)",
   pages = "432--435",
   booktitle = "Proceedings of TACAS'15",
   series = "Lecture Notes in Computer Science",
   volume = 9035,
   year = 2015,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-46680-3",
   doi = "10.1007/978-3-662-46681-0\_37",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/10791"
}
Nahoru