left

User Interface

right
AProVE Help SystemUser Interface
Graphical User Interface
Command Line Interface
Web Interface
Applet

The AProVE system offers four different user interfaces, namely