Predator Hunting Party

Predator-HP is a version of Predator tool adapted for participation in SV-COMP 2015.


Predator-HP can be downloaded from link predator-hp-svcomp2015.tar.gz, please see the README-SVCOMP-2015 for installation instructions.

Predator-HP Team


This work was supported by the Czech Science Foundation (project P103/10/0306), the Czech Ministry of Education, Youth, and Sports (projects COST OC10009 and MSM 0021630528), the EU/Czech IT4Innovations Centre of Excellence CZ.1.05/1.1.00/02.0070, and the internal Brno University of Technology projects FIT-S-11-1 and FIT-S-12-1.

Last modification: 31. October 2014