Atelier B 3.7.1

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

You will also like:

Copy link
Powered by Social Snap