I have developed (in part) the following tools:

• PUBS-Practical Upper Bound Solver (Web Interface)
  PUBS accepts an abstract program model (so called Cost Relations) and computes Upper and Lower bounds of the input program in terms of its input arguments. The input arguments are over the integer domain. The tool has been implemented using SWI-Prolog which uses the computer algebra system Maxima and the Parma Polyhedra Library.