PUBS: A Practical Upper Bounds Solver

This page illustrates an upper bounds solver as described in the paper Automatic Inference of Upper Bounds for Recurrence Relations in Cost Analysis. To use the solver, you can either go to the solver section and provide your own recurrence relations or use the pre-defined cost relations in the examples section.