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.jarIf 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.jarstarts AProVE with a memory limit of 512 megabytes. Without this option the default limit is used which is quite low.