left

Automatic

right
AProVE Help SystemUser InterfaceGraphical User InterfaceSelecting OptionsAutomatic

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.

automatic

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).