left

Running

right
AProVE Help SystemIntroductionRunning

In order to start AProVE you need an installed Java runtime system version 1.4 or newer. You can obtain it from Sun microsystems or IBM, for example.

Once you have a working Java installation, you need to get the file AProVE.jar from the download section and then start the AProVE system with:

java -jar AProVE.jar
If AProVE crashes because of not enough memory, you should start AProVE with the -XmxNm option which allows java and therefore AProVE to use N megabytes of memory. For example,
java -Xmx512m -jar AProVE.jar
starts AProVE with a memory limit of 512 megabytes. Without this option the default limit is used which is quite low.