COSTO (Component Study Toolbox) is the companion tool of the Kmelia language.

  • COSTO manages the Kmelia specifications and handles the verification of the primary properties (syntactic analysis, type checking, static analysis, …).
  • The verifications of complex properties such as deadlock freeness, component or assembly consistency are delegated to other appropriate external tools (MEC, Altarica, Lotos/CADP, AtelierB, Rodin…).

COSTO (Component Study Toolbox) is developed by the AeLoS Team . It is implemented as a set of Eclipse-based plugins. The gates to external tools are also plugins-based functions.

Next figure is the COSTO/Kmelia overview poster.


A Platform to Specify and Verify Component and Service Software

Quick Contact ^
We want to thank you for contacting us through our website and let you know we have received your information. A member of our team will be promptly respond back to you.