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….
> SUPERVISION
Features Our high performance data/events logger and analyzer product called DAME which is a software middleware specially designed to: Log…
> Tests benchs
More to come soon