Our tools

Our modelling and formal prrof 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, Brama, Composys and Supervision Tool.

Documentation + Links


> ATELIER B – www.atelierb.eu

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

MORE INFORMATIONS

> SUPERVISION

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

MORE INFORMATIONS

> Tests benchs

More to come soon

MORE INFORMATIONS