Version 3.7.1 of Atelier B is now available. It has corrected the minor anomalies of Atelier B on the proof type and interface verifier and compatibility with the xemacs EMACSPRI proof interface has been improved.
The list of corrections is available : History of the Versions.
The future version 3.7.2 is currently under development and is announced for early May 2008…
A new translator ComenC will be added to Atelier B. ComenC allows for B0 implementations to be translated into C language. This translator is a result of a convergence between industrial translators and research works, such as the RNTL BOM (optimized B memory) project.
In comparison to prior translators, the ComenC translator offers a simple translation for a more efficient code, closer to the original B0.