Home | News - Presentation | Tutorial | Documents | Download | Installation | Links | Contact

Academic tool enabling the operational use of formal Method B for proven software development.

What is B4Free ?

B4free was a set of tools for the development of B formal models, based on a limited version version of Atelier B and mainly aimed at academic users. ClearSy ensured its development until 2009

Since 2009, Atelier B is available in fully functional Community Edition. You are kindly invited to download, install and use Atelier B instead of B4Free.

B4Free resources are still available for teachers/researchers using them. However the registration phase is not required anymore.

B4Free News

Atelier B 4.1 is available !

Atelier B 4.1 (Community Edition) is available for download.


Atelier B 4.0 is available !

Atelier B 4.0 (Community Edition) is available for download. Please check the new distribution policy.














ClearSy Web Sites and Formal Tools...

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


E-mail :   Subscription Cancel Subscription

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