Command Line Interface
AProVE Help System
→
User Interface
→
Command 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