AProVE has won all 3 medals

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.