Predator Hunting Party 2017


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

Paper draft: predator-svcomp-2017.pdf (not for publication in proceedings).


A binary version of Predator-HP for Ubuntu 16.04 can be downloaded from link:
It was compiled from source at 2016-12-31 using current gcc --version : "gcc (Ubuntu 5.4.0-6ubuntu1~16.04.4) 5.4.0 20160609".
Warning: Binary Predator does not work with different versions of gcc (and always returns "unknown" in this case)

Source code (git repository) of Predator-HP can be downloaded from link predator-hp-svcomp2017.tar.gz, please see the "README-SVCOMP-2017" file for installation instructions.

Predator-HP Team

Archive Links


This work was supported by the Czech Science Foundation (project 14-11384S), the EU/Czech IT4Innovations Centre of Excellence CZ.1.05/1.1.00/02.0070, and the internal Brno University of Technology project FIT-S-14-2486.

Last modification: 16. October 2017