LuFG i2 receives the Best Tool Paper Award at iFM 2017


The paper “Complexity Analysis for Java with AProVE” by Florian Frohn und Jürgen Giesl received the award for the best tool paper at the 13th International Conference on integrated Formal Methods (iFM 2017) in Turin. The paper introduces a technique to analyze the runtime complexity of Java programs automatically and presents its implementation in our tool AProVE.

  Presentation of the certificate to assistant Florian Frohn Copyright: © iFM 2017

For more information, we refer to the conference website.

Here you can download the certificate.