left

Form Options

right
AProVE Help SystemUser InterfaceWeb InterfaceForm Options

The following table lists and explains all option elements of the web interface.

Browse ButtonHere you can select a file as input, if you not want to enter a program in the text area. (1)
Upload ButtonBy pressing this button you will load up the selected file, so that it can be modified in the text area. (2)
Save ButtonWith the help of this button you can save the program, shown in the text area, to your local disk. (3)
TimeoutTimeout after that AProVE will stop the termination proof. (5)
Proof OutputHere you can select the type of output which should be used for the proof, currently supported are HTML, PDF, PS (Postscript), LaTeX and Plain. (6)
Program typeHere you must select to which class of programs, the program you entered belongs to. (9)
QueryHere you must enter a query used to perform the termination proof.(Only for logic programs). (4)
SubmitStarts the proof. (7)
ResetResets the form to its default values. (8)

Form for term rewriting systems:

Form for logic programs: