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).

Installation

A binary version of PredatorHP for Ubuntu 16.04 can be downloaded from link:
predator-hp-svcomp2018-binary.zip
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 predatorHP.py always returns "unknown" in this case)

Source code (git repository) of PredatorHP can be downloaded from link

PredatorHP Team

• Tomas Vojnar
• Kamil Dudka
• Petr Peringer
• Veronika Šoková
• Michal Kotoun

Archive Links

• Link to Predator Hunting Party 2015
• Link to Predator Hunting Party 2016
• Link to Predator Hunting Party 2017

Acknowledgement

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