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

Double-Core SIL4 Architecture Presented During Open Source Innovation Spring (Paris)

Atelier B 4.3.1 is Available for Maintenance Holders

Formal Data Validation Tutorial at ABZ 2014, Toulouse