NEWS

Atelier B 4.6 for EAL6+

Atelier B 4.6 for EAL6+

Atelier B 4.6 is currently used by two world-renowned manufacturers for the certification of microelectronic components at the EAL6+ level according to Common...

AI for interactive proof

AI for interactive proof

Through the collaborative R&D project AIDOaRT , CLEARSY is going to develop a module within the Atelier B Interactive prover that can learn interactive...