Predator Hunting Party 2016

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

Installation

A binary version of Predator-HP for Ubuntu 14.04 can be downloaded from link predator-hp-svcomp2016-binary.tar.gz.

Source code of Predator-HP can be downloaded from link predator-hp-svcomp2016.tar.gz, please see the README-SVCOMP-2016 for installation instructions.

Predator-HP Team

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

Links

• Link to Predator Hunting Party 2015

Acknowledgement

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: 29. December 2015