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
Holík Lukáš, doc. Mgr., Ph.D. (UITS FIT VUT)
Hruška Martin, Ing. (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)
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
10.1007/978-3-662-49674-9_61
UT WoS
000406428000061
EID Scopus
2-s2.0-84964057766
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