left

Downloading

right
AProVE Help SystemIntroductionDownloading

The most recent version of AProVE can be downloaded from the AProVE web site using the following URI:
http://aprove.informatik.rwth-aachen.de/index.asp?subform=download.html
You can also download a set of examples there.

When downloading and saving AProVE.jar, some Windows installations suggest to save it as a "zip"-file. However, then AProVE cannot be executed. Instead, please save it as an ordinary binary file.