left

History

right
AProVE Help SystemIntroductionHistory

The AProVE project was started in April 2001 at the Research Group Computer Science II at RWTH Aachen.

After not even two years of development the first pre-release version 0.80 was released to the public in March 2003. This was shortly followed by pre-release version 0.90 which won the 1st International Competition for Termination Tools at the 6th Workshop on Termination (WST '03) at the 14th International Conference on Rewriting Techniques and Applications (RTA '03) in Valencia, Spain.

November 2003 finally saw the version 1.0 release of the AProVE system. Several bug fixes and feature releases followed until May 2004. Parallelly, in January 2004 a beta version of the upcoming 1.1 release was published incorporating many major technical improvements.

A special version 1.1gamma was released in preparation of the 2nd International Competition for Termination Tools at the 7th Workshop on Termination (WST '04) at the 15th International Conference on Rewriting Techniques and Applications (RTA '04) in Aachen, Germany. Again, AProVE was the clear over-all winner of this competition.

In October 2004 the first stable release after 1.0 was made available. The version number 1.2 indicates that this release exceeds the functionality and the features originally planned for 1.1 by far. In particular the user is now able to build his own termination prover by selecting and combining numerous basic techniques.