Systems Available

• PUBS: Practical Upper-Bound Solver

• COSTA: Cost and Termination Analyzer