Composys 1.5 (windows version) has been released. This tool is localized in French but will be available in English soon.
Welcome to the site dedicated to the CompoSys tool, the new tool distributed by Clearsy, specialist in the formal B-method.CompoSys, a method and tool for formal descriptions of systems
Coupled modelling process: formal B-method/natural language
Automatic and semi-automatic consistency checks
Automatic generation of the final document and different system views
CompoSys is distributed in the Beta test version.
NEW: Clearsy is presenting CompoSys at the ADFADL'06 conference on 17th March 2006 in Paris. You can now request the Composys CD to ask CD-ROM page.
