NEWS

AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B

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

AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B

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