Detail publikace

Run Forester, Run Backwards! (Competition Contribution)

HOLÍK Lukáš, HRUŠKA Martin, LENGÁL Ondřej, ROGALEWICZ Adam, ŠIMÁČEK Jiří a VOJNAR Tomáš. Run Forester, Run Backwards! (Competition Contribution). In: Proceedings of TACAS'16. Lecture Notes in Computer Science, roč. 9636. Heidelberg: Springer Verlag, 2016, s. 923-926. ISBN 978-3-662-49673-2. Dostupné z: http://www.springer.com/us/book/9783662496732
Název česky
Utíkej Lesníku, utíkej pozpátku! (soutěžní příspěvěk)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
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'16. Dále také popisuje nově implementovanou techniku ve verifikační proceduře a to schopnost Lesníka běžet pozpátku.

Rok
2016
Strany
923-926
Sborník
Proceedings of TACAS'16
Řada
Lecture Notes in Computer Science
Svazek
9636
Konference
European Joint Conferences on Theory and Practice of Software -- ETAPS'16 (TACAS'16), Eindhoven, NL
ISBN
978-3-662-49673-2
Vydavatel
Springer Verlag
Místo
Heidelberg, DE
DOI
UT WoS
000406428000061
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11152,
   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 = "Run Forester, Run Backwards! (Competition Contribution)",
   pages = "923--926",
   booktitle = "Proceedings of TACAS'16",
   series = "Lecture Notes in Computer Science",
   volume = 9636,
   year = 2016,
   location = "Heidelberg, DE",
   publisher = "Springer Verlag",
   ISBN = "978-3-662-49673-2",
   doi = "10.1007/978-3-662-49674-9\_61",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11152"
}
Nahoru