AProVE

This is the AProVE Web Interface for the current version of AProVE.

Java Bytecode Java Bytecode Complexity C Term Rewrite System (WST Format) Term Rewrite System (AProVE Format) Probabilistic Term Rewrite System (Probabilistic) Term Rewrite System (new ARI Format) String Rewrite System (WST Format) String Rewrite System (AProVE Format) Functional Program (AProVE) Integer Term Rewrite System (RTA'09) Integer Term Rewrite System (top-level rewriting) Complexity Integer Term Rewrite System Prolog LLVM Haskell

Analysis of Java Bytecode Complexity

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.

Accepted file formats: jar

Version AProVE2023
Disclaimer