Award Details

Kurt Gödel Medal from the FLoC Olympic Games 2014

Year: 2014

Level
international
Category
research and development
URL
Persons
Description

The Predator tool for automated shape analysis of programs with dynamic linked data structures has been awarded the prestigious Kurt Gödel medal at the FLoC Olympic Games 2014 for its successes in three consecutive years of the international competition in software verification SV-COMP.

Back to top