left

Graphical User Interface

right
AProVE Help SystemUser InterfaceGraphical User Interface
Loading and Editing
Selecting Options
Performing the Proof
Logs and Results

The Menu bar(1) and Tool bar(2) offer functions described in

In the Configuration bar(3, Selecting Options) one can configure the behavior of the prover which is applied to the input file shown in Source(4, Loading and Editing). The actions of the system and are presented in the System Log tab(5). The results (proofs or proof attempts) are shown in the Result tab (described in Logs and Results).