![]() |
Performing the Proof |
![]() |
AProVE Help System → User Interface → Graphical User Interface → | Performing the Proof |
Go
starts the prover.
Stop
stops the prover. If the Batch mode is active only
the proof for the current input is interrupted.
The prover jumps to the next input.
Stop All
completely stops the prover.
The results and logs of the prover are shown in the Result tab and System Log tab
The technique selection(1) shows the current selected technique and their special settings are shown in (2).
Apply applies the selected technique to the target(5).
Skip skips the current interactive mode.
Stop stops the prover completely.
If Show Proof(3) is active after the application of a technique the local proof is shown in an extra window.
The state of the prover is shown at (4).