NEWS
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...
FMICS 2009 International Workshop
CLEARSY has the pleasure of announcing its participation to the FMICS 2009, that will take place at the University of Eindhoven from the November 2 to 3rd...