Contact

Atelier B 4.6 pour EAL6+

L’Atelier B 4.6 est actuellement utilisé par deux industriels de renommée mondiale pour la certification de composants micro-électroniques au niveau EAL6+ selon les Critères Communs 3.1.

L’outil Atelier B permet de modéliser formellement en Event-B la spécification fonctionnelle d’un circuit intégré ainsi que sa politique de sécurité, et de démontrer par preuve mathématique le respect de la politique par la spécification.

Vous aimerez aussi :

Copy link
Powered by Social Snap