A Simple and Scalable Static Analysis for Bound Analysis and Amortized Complexity Analysis.

Moritz Sinn, Florian Zuleger, Helmut Veith

Browse the full CAV paper archive.