Detail publikace

Predator Hunting Party (Competition Contribution)

PERINGER, P.; MÜLLER, P.; VOJNAR, T. Predator Hunting Party (Competition Contribution). In Proceedings of TACAS'15. Lecture Notes in Computer Science. Heidelberg: Springer Verlag, 2015. p. 443-446. ISBN: 978-3-662-46680-3.
Název česky
Lovecká párty Predátorů (soutěžní příspěvek)
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Peringer Petr, Dr. Ing. (UITS)
Müller Petr, Ing.
Vojnar Tomáš, prof. Ing., Ph.D. (UITS)
URL
Klíčová slova

formal verification, program analysis, shape analysis, symbolic memory graphs, bug hunting, memory safety, software verification competition

Abstrakt

Článek popisuje nástroj PredatorHP (Predator Hunting Party), který je kombinací neomezených i různým způsobem omezených variant nástroje Predator, a jeho účast v soutěži SV-COMP'15. Neomezený nástroj Predator přitom slouží k formální verifikaci a jeho omezené varianty k rychlému vyhledávání chyb.

Rok
2015
Strany
443–446
Sborník
Proceedings of TACAS'15
Řada
Lecture Notes in Computer Science
Svazek
9035
ISBN
978-3-662-46680-3
Vydavatel
Springer Verlag
Místo
Heidelberg
DOI
10.1007/978-3-662-46681-0_40
EID Scopus
2-s2.0-84926619636
BibTeX 
@inproceedings{BUT119878,
  author="Petr {Peringer} and Petr {Müller} and Tomáš {Vojnar}",
  title="Predator Hunting Party (Competition Contribution)",
  booktitle="Proceedings of TACAS'15",
  year="2015",
  series="Lecture Notes in Computer Science",
  volume="9035",
  pages="443--446",
  publisher="Springer Verlag",
  address="Heidelberg",
  doi="10.1007/978-3-662-46681-0\{_}40",
  isbn="978-3-662-46680-3",
  url="http://link.springer.com/chapter/10.1007%2F978-3-662-46681-0_40"
}
Nahoru