The costo current website

The Costo Old Page

Description

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…).

poster

Plugins Pages

User Guide

Reference manual

Developper's area

COSTO TEST Pages

Information

 
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