NEWS
ProB can be used from Atelier B 4.0
ProB can be used from Atelier B4.0 to prove and animate B model software and events thanks to the extension mecanism which allows for Atelier B to be...
Status Report about Traductions
Many of you have answered us in order to participate in the translation of manuals dedicated to Atelier B: thank you. Here is a status report on our work: The...
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...