NEWS
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...
Version 4.5 of Atelier B
Atelier B 4.5.0 is a Community Edition version, freely downloadable This version fixes, cumulatively since version 4.2.1, 146 bugs and several...
The international conference on formal methods (FM 2018)
During the international conference on formal methods (FM 2018), which will take place in Oxford on 15-17 July 2018, CLEARSY will present its vision on the...