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.
For more information, we refer to the conference website.
Here you can download the certificate.