NEWS
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...
AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B
The 18th edition of AFADL days (Approches Formelles dans l'Assistance au Développement Logiciel in french or Formal approaches to support software...