Atelier B 4.1 has been released in 2012. For Linux machines, it is available as a binary packages for 32 bits x86 machines in RPM and DEB format. Unfortunately the DEB package won’t work on a Debian-like 64 bits machine, for example an Ubuntu. This article describes the approach used to install the package.
Atelier B 4.1.0 and Japan
ClearSy and Witz corporation are cooperating to jointly develop the use of the B formal method in Japan. Several actions have been undertaken since last year: A series of articles on embedded software development with B is being published by the journal “Interface“. The first page of the first four articles are freely available (1, […]
Atelier B 4.1.0
Atelier B 4.1.0 has been released for everyone and without any restrictions of use. This new release brings 385 bug corrections and 56 improvements (see the release notes for detailed description of most important features). Among these features, we can mention: Support for « data generation» project Improved support of integers : maximum implémentable value (MAXINT) can […]
Atelier B 4.1 Beta 1
Atelier B 4.1 Beta 1 phase starts on November 2nd 2012 for a month. This release integrates 4.0.2 improvements and comes along with a number of new features such as: data validation/generation projects support, in complement of “B for Software” and “B for Systems” projects, as well as Prob model checker integration; project graphical views, allowing […]
Workshop on Software Reliability – June 14 & 15 2012
Software Reliability workshop, held on June 14 & 15 2012 in Paris and organized by the “Initiative de Recherche et Innovation sur le Logiciel Libre” and the Free Software thematic group, is amied at validation, certification, proof and code analysis. At this occasion, Atelier B 4 and its applications are presented.
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, Windows, Mac and Solaris. Several Atelier B 4.0 bugs are fixed. Details are available at […]
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 more specifically : The memory protection unit (MPU) used in the new ST23 family of […]
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, allowing it to interface with Atelier B.
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 the Bart automatic refinement tool has been translated into English thanks to the help of […]