Predator Hunting Party 2018


PredatorHP is a version of Predator tool adapted for participation in SV-COMP 2018.

Paper draft: predator-svcomp-2018.pdf (not yet).


A binary version of PredatorHP for Ubuntu 16.04 can be downloaded from link:
It was compiled from source at 2017-11-13 using current gcc --version : "gcc (Ubuntu 5.4.0-6ubuntu1~16.04.5) 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 PredatorHP can be downloaded from link

PredatorHP Team

Archive Links


This work was supported by the Czech Science Foundation (project 17-12465S), the IT4IXS: IT4Innovations Excellence in Science project LQ1602, and the internal Brno University of Technology project FIT-S-17-4014.

Last modification: 13. November 2017