NEWS

B Dissemination Day 2008 in Salvador and Sao Paulo in Brazil
B Dissemination Day - Salvador CLEARSY and AeS have organized a B Dissemination Day in Salvador, Brasil (August 26 2008), as a satellite event of the...

Atelier B 4.0 Screenshots
While waiting for the release of Atelier B 4.0, here a few sneak preview screenshots of our application on the Windows, Linux and Mac Operating Systems (OS)....

CLEARSY’s Open Source Projects
In 2008, CLEARSY decided to make Atelier B available at no cost in order to favour the dissemination of B. In order to facilitate the appropriation of...

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

Nantes Conference – June 16, 2008
The B Method: from Research to Teaching The “B Method: from Research to Teaching” seminar took place in Nantes on June 16, 2008 on the occasion of the...

Free Version of Atelier B
Version 4 of Atelier B will be free for everyone when it is launched at the end of 2008. The version currently being prepared and tested internally will be...