LuFG i2 receives the Best Tool Paper Award at iFM 2017

23/10/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 iFM 2017

For more information, we refer to the conference website.

Here you can download the certificate.