A. Simple and . Scalable, Static Analysis for Bound Analysis and Amortized Complexity Analysis, Proc. of 26 th CAV, pp.745-761

. Tct, Tyrolean Complexity Tool, Proc. of 2 nd TACAS, pp.407-423