Home l News l Presentation l Manuals l Download l Industrial References l Links l Contact   -

Welcome to CompoSys Web Site

Tool for formal design of systems architecture.

CompoSys Presentation

Distributed by Clearsy, specialist in the formal B-method, CompoSys is 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 News

CompoSys 1.6 is available...

Composys 1.5 (windows version) has been released. This tool is localized in French but will be available in English soon...

 

Download CompoSys...

To use CompoSys and to have its download link, fill in your e-mail addresse in the field below. You will soon receive by mail the download instruction.

Yes, I would download CompoSys

Email:
 

ClearSy Web Sites and Formal Tools...

ClearSy, specialist in Safety Critical Systems Atelier B Brama.fr Traducteur ComenC B Method.com Fersil.fr DOF1.eu COPP COPPILOT

Newsletter...

Email :   Subscription Cancel Subscription

Pursuant to the Law of 06-01-78, you are entitled to access and correct your personal information.