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 Criteria 3.1.

The Atelier B tool allows to formally model in Event-B the functional specification of an integrated circuit as well as its security policy, and to demonstrate by mathematical proof the respect of the policy by the specification.