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....

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....
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...
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...
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...
The 18th edition of AFADL days (Approches Formelles dans l'Assistance au Développement Logiciel in french or Formal approaches to support software...
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...