News

Atelier B Versions, News

The new formal tool Atelier B 4.7 is available.

January 20, 2022

Associated Tool, Atelier B Versions, News

Atelier B used to develop open source OPC UA implementation

August 24, 2021

Uncategorized

Atelier B 4.6 for EAL6+

July 30, 2021

Uncategorized

AI for interactive proof

conferences, News

Tutorial “Using B to program the CLEARSY Safety Platform”

May 18, 2021

News

Video published of the webinar “introduction to the CLEARSY Safety Platform”

News

Version 4.6.3 of Atelier B

February 17, 2021

News

Rodin : relase 2.3.0 of the Atelier B prover plug-in

February 16, 2021