left

System Descriptions

right
AProVE Help SystemReferencesSystem Descriptions

The most recent system descriptions and empirical evaluations of the AProVE system are listed in the following table.

GTSKF '04 J. Giesl, R. Thiemann, P. Schneider-Kamp, and S. Falke
Automated Termination Proofs with AProVE (http://www-i2.informatik.rwth-aachen.de/giesl/papers/RTA04-distribute.pdf)
In Proceedings of the 15th International Conference on Rewriting Techniques and Applications (RTA-04), Aachen, Germany, Lecture Notes in Computer Science 3091, pages 210-220, 2004. © Springer-Verlag (http://www.springer.de/comp/lncs/index.html)
empirical Empirical evaluation of AProVE (http://aprove.informatik.rwth-aachen.de/papers/empirical.ps)
This document contains the detailed results of the experiments presented in the above system description where we compare different termination provers.