AProVE Web Interface

This is the KoAT2 Web Interface for the complexity analysis tool KoAT.

The input programs are C programs operating on ints. They are translated to the integer programs described in the paper using the tool llvm2kittel.

Choose file

Accepted file formats: c

Upload a File or Text?

Size Bounds by Closed Forms

Control-Flow Refinement

MΦRF

TWN

TWN + MΦRF

Only Termination

MΦRF Depth (min. 1, max. 10)

Timeout (10 seconds minimum, 300 seconds maximum):

Output format:

HTML

Plain Text

Version koat2-prob-cfr