AProVE

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

Integer Programs
Probabilistic Integer Programs
C Integer Programs
Disclaimer