This is the AProVE Web Interface for the current version of AProVE.
Please enter a Java problem (i.e., a program conforming to the Termination Competition rules), where the analysis always starts with the main method and user input is only allowed through the String array which is passed as the only parameter of main. If the program only consists of a single class, you can enter the Java program directly in the window below. The system then tries to analyze the main method of that class. For more complex programs (of several classes), you have to construct a jar-file conforming to the Termination Competition rules and upload it.