Loopus

A Tool for Computing Symbolic Bounds on Loops in C Programs

The web page of loopus moved to: forsyte.at/software/loopus

Look here for details on the experimental evaluation of A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis (CAV 2014).