Atelier B 4.0.2 has been released on January 7, 2011 and may be downloaded by Atelier B 4 maintenance contract holders on this page : Atelier B Account.
This release brings 84 bug corrections and 14 new features.
We are pleased to inform you that Atelier B 4.0.1 is available for download.
It is exclusively reserved for maintenance holders, and is accessible via their respective accounts on the Atelier B Website.
This new version is available on Linux, Windows, Mac and Solaris. Several Atelier B 4.0 bugs are fixed. Details are available at : Bug Status.
Marc Benveniste (STMicroelectronics) presented at the Smart Event 2009, an article entitled “A Proved “Correct by Construction” Memory Protection Unit”, in relation with the Forcoment Project, developed in collaboration with ClearSy and its B tool, Atelier B. His presentation, addressed more specifically :
ProB can be used from Atelier B4.0 to prove and animate B model software and events thanks to the extension mecanism which allows for Atelier B to be connected to other tools. From Version 1.3.0, ProB generates the parameters files, allowing it to interface with Atelier B.
Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you.
Here is a status report on our work:
If you would like to help us with translations, please contact us at the following address: open-source@clearsy.com.
To synchronize efforts and avoid overlaps, please send us an e-mail when you plan to start the translation.
ClearSy has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution :
Among the main improvements of the tool :
After 2 months testing the beta 1, here today Atelier B 4.0 beta 2. We wish to thank all contributors who helped us to improve this version.
We thank in advance all the users who contribute to the improvement of this new version.
To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu.
ClearSy make it available to users for get feedback on this version. We thank in advance all the users who contribute to the improvement of this new version.
To contact us and send your comments and suggestions, contact us at: contact@atelierb.eu.
The alpha version of the Atelier B 4.0 has been distributed to a small number of users in order to gather comments and opinions concerning the tool.
Atelier B 4.0 will be available to all users in beta version in the course of september 2008.
We will keep you posted on the evolutions of the version 4.0 of Atelier B until its final release to the general public.
While waiting for the release of Atelier B 4.0, here a few sneak preview screenshots of our application on the Windows, Linux and Mac Operating Systems (OS)…
English
French 
