Home -
News -
Products -
Versions -
Download -
Manuals
- Maintenance -
Distribution Policy -
Roadmap & Contribution -
Support -
Training -
Documents -
Press -
References -
R&D - Contacts -
Jobs -
Links -
Your Account
Links
In addition of the resources available on our website, many other sites propose general information related to B:
Links about Atelier B and B Method
Corporate Site ClearSy Systems Specialist in Safety Critical Systems. ClearSy ensures the development and distribution of the Atelier B.
This
site is designed to present different work and subjects for consideration by Clearsy
concerning the B method, a formal method with proof.
The objective of this forum is to exchange informations and discuss the B Tools developped by
ClearSy.
Brama is a graphic tool of modelling applied to the B formal method.
The ComenC translator is a
new translator for B language and allows for B0 implementations to be translated
into C language. This translator is a
result of a convergence between industrial translators and research works.
Distributed by Clearsy, specialist in the formal B-method, CompoSys is a method and tool for formal descriptions of systems..
This site intends to gather the main references
related to the B Method, B Tools and B Users.
While presenting the activities of the LSR-IMAG team in Grenoble,
it is open to any academic team or industrial people who wishes to diffuse
useful informations for the community.
The B User Group is a mailing list about B Events ad Formal Method.
The French National Institute for Transport and Safety Research.