NEWS
Tutorial “Using B to program the CLEARSY Safety Platform”
A virtual open-access tutorial on the programming of the CLEARSY Safety Platform is organized during the ABZ 2021 International Conference, on June 8th 2021...
Video published of the webinar “introduction to the CLEARSY Safety Platform”
The video of the webinar “Introduction to the CLEARSY Safety Platform”, run between March and May 2021, is available on Youtube. It is a platform both...
Version 4.6.3 of Atelier B
We are pleased to inform you that Atelier B 4.6.3 is available. It is exclusively reserved for maintenance holders, and is accessible from the account page....
Rodin : relase 2.3.0 of the Atelier B prover plug-in
We are pleased to announce that the new relase 2.3.0 of the Atelier B prover plug-in is now available. This plug-in is made with the latest version of Atelier...
Version 4.5.1 of Atelier B for Mac-OS
Atelier B 4.5.1 is a Community Edition version, freely downloadable This installer allows the execution of AtelierB 4.5.1 on macOS 10.15, called...
Version 4.5.5 of Atelier B
The version 4.5.5 Maintenance edition has been releasedIt version fix a bug present since the first version of prover.This bug is related to the instantiation...