NEWS
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...
Version 4.5.1 of Atelier B
Atelier B 4.5.1 is a Community Edition version, freely downloadable This release fixes a bug on the C translator call from the user interface. For 4.5.0...