The automated termination analysis tool
provides an implementation of the techniques discussed in this course.
For this course, the most convenient way to run AProVE is via its
J. Giesl, C. Aschermann, M. Brockschmidt, F. Emmes, F. Frohn, C. Fuhs, J. Hensel, C. Otto, M. Plücker,
P. Schneider-Kamp, T. Ströder, S. Swiderski, and R. Thiemann
Analyzing Program Termination and Complexity Automatically with AProVE Journal of Automated Reasoning, 58(1):3-31, 2017.
The final publication is available at Springer via the
DOI 10.1007/s10817-016-9388-y. Preliminary Version