NEWS
Workshop on Recent Innovations and Applications in B
The "Recent Innovations and Applications in B" (RIAB) workshop will be held at Eindhoven on 3 November 2009 as part of the Formal Methods week. For more...
Atelier B 4.0 is available !
CLEARSY has the pleasure to announce the release of Atelier B 4.0. This version comes with a brand new mode of distribution : the download of Atelier B 4.0 is...
Atelier B 4.0 is available in beta test 2
After 2 months testing the beta 1, here today Atelier B 4.0 beta 2. We wish to thank all contributors who helped us to improve this version. Windows (17 Mo)...
Rodin User and Developer Workshop, University of Southampton, 16-17 july 2009
On behalf of the DEPLOY Project, the University of Southampton is organizing this year a workshop dedicated to the RODIN tool, for both users and...
Atelier B 4.0 is available in beta test
CLEARSY make it available to users for get feedback on this version. We thank in advance all the users who contribute to the improvement of this new version....
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)...