![cc.pjg](https://www.atelierb.eu/wp-content/uploads/2021/07/cc.pjg_.jpg)
Publié le 30/07/2021 |
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.