Our modelling and formal proof tools

ClearSy develops and distributes modelling and formal proof tools, using the B method. There follows an overview of the various applications currently available.

Atelier B

Atelier B

Atelier B is a tool enabling the operational use of B method. In a coherent environment, it provides many functions for managing projects in B language....
Brama

Brama

Formal B Model Graphic Animation Tool Reasons: need to validate the models, need to "present" the models Our broad experience in using formal...
CompoSys

CompoSys

Composys, a formal method for system modelling Web Site : www.composys.eu The modeller is the person responsible for creating and enhancing...

DAME

Features Our high performance data/events logger and analyzer product called DAME which is a software middleware specially designed to: Log...

 

Comments are closed.