Predator Hunting Party
Predator-HP is a version of Predator tool adapted for participation in SV-COMP 2015.
Installation
Predator-HP can be downloaded from link predator-hp-svcomp2015.tar.gz, please see the README-SVCOMP-2015 for installation instructions.
Predator-HP Team
Acknowledgement
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