Academic tool enabling the operational use of formal Method B for proven software development.
What is B4Free ?
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.
ClearSy Web Sites and Formal Tools...
Pursuant to the Law of 06-01-78, you are entitled to access and correct your personal information.