Description: The main functionalities offered by CobaltBlue are the checking of protocol conformance and deadlock analysis of concurrent objects implemented with typestate-oriented programming. The tool is based on behavioral type checking and deadlock analysis for Objective Join Calculus.

Developed at: UNITO

Contacts: Luca Padovani

Available at: http://www.di.unito.it/~padovani/Software/CobaltBlue