LuFG i2 Wins all 3 Medals of the “Termination and Complexity Competition” at FLoC 2018

Aprove medals Copyright: UnRAVeL

The tool AProVE of the Research Group LuFG i2 has won all 3 medals of the annual “Termination and Complexity Competition”, which took place within the “FLoC Olympic Games” during the Federated Logic Conference in Oxford in July 2018.


So AProVE is the most powerful tool in the divisions “Termination of Rewriting”, “Termination of Programming Languages”, and “Complexity Analysis”. In the competition, the goal is to prove (or disprove) the termination of programs in different languages, and to infer upper and lower bounds on the runtimes of programs fully automatically.