Detail publikace

Predator Hunting Party (Competition Contribution)

PERINGER, P. MÜLLER, P. VOJNAR, T.

Originální název

Predator Hunting Party (Competition Contribution)

Anglický název

Predator Hunting Party (Competition Contribution)

Jazyk

en

Originální abstrakt

This paper introduces PredatorHP (Predator Hunting Party), a program verifier built on top of the Predator shape analyser, and discusses its participation in the SV-COMP'15 software verification competition. Predator is a sound shape analyser dealing with C programs with lists implemented via low-level pointer operations. PredatorHP uses Predator to prove programs safe while at the same time using several bounded versions of Predator for bug hunting.

Anglický abstrakt

This paper introduces PredatorHP (Predator Hunting Party), a program verifier built on top of the Predator shape analyser, and discusses its participation in the SV-COMP'15 software verification competition. Predator is a sound shape analyser dealing with C programs with lists implemented via low-level pointer operations. PredatorHP uses Predator to prove programs safe while at the same time using several bounded versions of Predator for bug hunting.

Dokumenty

BibTex


@inproceedings{BUT119878,
  author="Petr {Peringer} and Petr {Müller} and Tomáš {Vojnar}",
  title="Predator Hunting Party (Competition Contribution)",
  annote="This paper introduces PredatorHP (Predator Hunting Party), a program verifier
built on top of the Predator shape analyser, and discusses its participation in
the SV-COMP'15 software verification competition. Predator is a sound shape
analyser dealing with C programs with lists implemented via low-level pointer
operations. PredatorHP uses Predator to prove programs safe while at the same
time using several bounded versions of Predator for bug hunting.",
  address="Springer Verlag",
  booktitle="Proceedings of TACAS'15",
  chapter="119878",
  doi="10.1007/978-3-662-46681-0_40",
  edition="Lecture Notes in Computer Science",
  howpublished="print",
  institution="Springer Verlag",
  year="2015",
  month="april",
  pages="443--446",
  publisher="Springer Verlag",
  type="conference paper"
}