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.