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.

You will also like:

Copy link
Powered by Social Snap