Tools Developed by the Costa Group

• The SACO (Static Analyzer for Concurrent Objects) Tool
• The SYCO (Systematic Testing for Concurrent Objects) Tool
• The COSTA (Cost and Termination Analyzer) Tool
• The PUBS(Practical Upper Bound Solver) Tool
• The PET (Partial Evaluation-based Test Case Generator) Tool
• The COSTABS Tool
• DECO (DEadlock analyzer for Concurrent Objects) Tool
• MayPar (may-happen-in-parallel analyzer) Tool