Home -
News -
Products -
Versions -
Download -
Manuals
- Maintenance -
Distribution Policy -
Roadmap & Contribution -
Support -
Training -
Documents -
Press -
References -
R&D - Contacts -
Jobs -
Links -
Your Account
Atelier B News
|
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. |
|
|
Conference : the B Method, from Research to Teaching
|
The University of Nantes has organized a conference on the B Method, which will take place on June 16, 2008 at the Cité Internationale des Congrès in the City of Nantes.
For information on the conference program, we invite you to visit:
|
|
|
ABZ Conference 2008 from 16 to 18 September 2008, in London
|
The ABZ Conference 2008 has the objective of bringing together the B, Z and ASM communities. It will be organized around one joint day and 2 days belonging to each community, that is:
- the 15th International ASM Workshop,
- the 17th International Conference of Z Users,
- the 8th International Conference on the B Method.
Information is available on the conference’s website ABZ 2008. |
|
|
Atelier B is available
|
| Atelier B 3.7 has been available since 09/07/2007. It offers numerous improvements with major Atelier B functionalities in order to facilitate the developer’s work... Atelier B 3.7... |
|
|
Rodin Industry Day
|
| We have the pleasure of informing you that Clearsy are organising the Rodin Industry Day 2007. The event will take place in Paris on the 10th September 2007. During the day the advancements in Rodin’s development and its plugins will be presented as will application examples. To participate and find out more about the day’s programme visit the following page: Program and participation... |
|
|
|
