AProVE Web Interface

This is the KoAT2 Web Interface for the paper "Automatic Complexity Analysis of Integer Programs with KoAT".

Choose file

Accepted file formats: koat

Upload a File or Text?

Control-Flow Refinement Enabled

Control-Flow Refinement Disabled

Multiphase Ranking Functions Depth (min. 1, max. 10)

Timeout (10 seconds minimum, 300 seconds maximum):

Output format:

HTML

Plain Text

Version koat2