left

Web Interface

right
AProVE Help SystemUser InterfaceWeb Interface
Form Options

The web interface is meant for those who want to perform some termination proofs without delving into the depth of the configuration possibilities of the AProVE System or for those who want to check how our system performs on some special problems without installing the AProVE System. To enter the web interface please click on the following link: Web Interface

On the first page of the web interface you are are asked for which type of program you want to perform a termination proof. The possibilities are:

The only difference on the following page is that for logic programs you must additionally fill in a query to perform a termination proof. For a description of the options please consult the for options. Form Options