KoAT: Automatic Complexity and Termination Analysis of Integer Programs.

Nils Lommen, lanore Meyer, Jrgen Giesl

Browse the full CAV paper archive.