-
Loading...
Register
Retrieve password
Author Archives: ClearSy
Atelier B 4.0.2 is available for maintenance holders
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. More informations…
Atelier B 4.0.1 is available for maintenance holders
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, … Continue reading
Smart Event 2009 – Forcoment Project Presentation, developed with Atelier B
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 … Continue reading
ProB can be used from Atelier B 4.0
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, … Continue reading
Status Report about Traductions
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: The Bart specification document, which describes the refinement rule language for … Continue reading
Atelier B 4.0 is available !
ClearSy has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution : the download of Atelier B 4.0 is free a new maintenance contract tailored to your specific needs … Continue reading
Atelier B 4.0 is available in beta test 2
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. Windows (17 Mo) Linux (41 Mo) Mac OS (60 Mo) We thank in … Continue reading
Atelier B 4.0 is available in beta test
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. Windows (10Mo) Linux (30Mo) Mac OS (28Mo) Sources Files (780Ko) To contact … Continue reading
Atelier B 4.0: Work in progress
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 … Continue reading
Atelier B 4.0 Screenshots
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 
