Atelier B 3.7.1

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 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.