Video published of the webinar “introduction to the CLEARSY Safety Platform”
Version 4.6.3 of Atelier B
Rodin : relase 2.3.0 of the Atelier B prover plug-in
Version 4.5.1 of Atelier B for Mac-OS
Version 4.5.5 of Atelier B
AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B