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

LCHIP project (Low Cost High Integrity Platform) will ease development of safety critical systems and software up to SIL4, the highest Safety Integrated Level.

Atelier B has turned 20