NEWS
AI for interactive proof
Through the collaborative R&D project AIDOaRT , CLEARSY is going to develop a module within the Atelier B Interactive prover that can learn interactive...
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...