Detail publikace

Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)

KOTOUN Michal, PERINGER Petr, ŠOKOVÁ Veronika a VOJNAR Tomáš. Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution). In: Proceedings of TACAS 2016. Lecture Notes in Computer Science, roč. 9636. Heidelberg: Springer Verlag, 2016, s. 942-945. ISBN 978-3-662-49673-2. Dostupné z: http://link.springer.com/chapter/10.1007%2F978-3-662-49674-9_66
Název česky
Optimalizovaný PredatorHP a SV-COMP (příspěvek do soutěže)
Typ
článek ve sborníku konference
Jazyk
angličtina
Autoři
Kotoun Michal, Ing. (FIT VUT)
Peringer Petr, Dr. Ing. (UITS FIT VUT)
Šoková Veronika, Ing. (FIT VUT)
Vojnar Tomáš, prof. Ing., Ph.D. (UITS FIT VUT)
URL
Abstrakt

Článek popisuje vylepšený nástroj PredatorHP (Predator Hunting Party) a jeho účast v soutěži SV-COMP 2016. V článku je především popsáno jaká kombinace paralelně běžících specializovaných Predátorů a s jakým nastavením byla použita pro zpracování soutěžních úloh SV-COMP.

Rok
2016
Strany
942-945
Sborník
Proceedings of TACAS 2016
Ř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
000406428000066
EID Scopus
BibTeX
@INPROCEEDINGS{FITPUB11153,
   author = "Michal Kotoun and Petr Peringer and Veronika \v{S}okov\'{a} and Tom\'{a}\v{s} Vojnar",
   title = "Optimized PredatorHP and the SV-COMP Heap and Memory Safety Benchmark (Competition Contribution)",
   pages = "942--945",
   booktitle = "Proceedings of TACAS 2016",
   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\_66",
   language = "english",
   url = "https://www.fit.vut.cz/research/publication/11153"
}
Nahoru