![]() |
Automatic |
![]() |
AProVE Help System → User Interface → Graphical User Interface → Selecting Options → | Automatic |
In the automatic mode the prover tries to show the (innermost) termination of a given input program without user interaction and with only a minimal amount of configuration possibilities.
For most input types the improved (parallelized)
and standard mode (which is roughly equivalent to the WST 2004 AProVE version)
is selectable(3).
For some input types like TES
(1) the evaluation
strategy is selectable(2).
The techniques the prover will
apply are listed in the Combination Description(4).