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.