The costo current website

The Costo Old Page


COSTO (Component Study Toolbox) is the companion tool of the Kmelia language. It is a set of Eclipse-based plugins we developed to support the specification and analysis of Kmelia component systems. 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…).


Plugins Pages

User Guide

Reference manual

Developper's area



costo/oldpage.txt · Last modified: 2015/11/10 11:34 by aelosweb
Recent changes RSS feed Creative Commons License Donate Powered by PHP Valid XHTML 1.0 Valid CSS Driven by DokuWiki