AProVE Web Interface

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

Choose file

Accepted file formats: koat

Upload a File or Text?

Only Termination

Control-Flow Refinement

Size Bounds by Closed Forms

MΦRF

TWN

TWN + MΦRF

Unsolvable Loops (TWN) + MΦRF

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

Timeout (10 seconds minimum, 300 seconds maximum):

Output format:

HTML

Plain Text

Version koat