http://aprove.informatik.rwth-aachen.de/index.asp?subform=download.htmlYou 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.