The following table lists and explains all option elements of the web interface.
Browse Button | Here you can select a file as input, if you not want to enter a program in the text area. (1) |
Upload Button | By pressing this button you will load up the selected file, so that it can be modified in the text area. (2) |
Save Button | With the help of this button you can save the program, shown in the text area, to your local disk. (3) |
Timeout | Timeout after that AProVE will stop the termination proof. (5) |
Proof Output | Here 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 type | Here you must select to which class of programs, the program you entered belongs to. (9) |
Query | Here you must enter a query used to perform the termination proof.(Only for logic programs). (4) |
Submit | Starts the proof. (7) |
Reset | Resets the form to its default values. (8) |