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

Version 4.5.1 of Atelier B

Version 4.5 of Atelier B

Conference on formal methods (FM 2018) – Oxford

International conference SBMF 2017

Next training session B, level 2

The new version 4.4.2 of the AtelierB

ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).