left

Command Line Interface

right
AProVE Help SystemUser InterfaceCommand Line Interface
Switches

Download and set up the AProVE system as described in the introduction. Then you can start the web interface by typing
java -jar AProVE.jar -u cli