AProVE Web Interface

This is the KoAT2 Web Interface for the paper "Targeting Completeness: Using Closed Forms for Size Bounds of Integer Programs".

Choose file

Accepted file formats: koat

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-size