Thierry Lecomte

Roadmap Atelier B 2023-2024

Roadmap Atelier B 2023-2024

En 2023, la version Professionelle sera mise à jour 2 fois .
En 2024, la version Professionnelle certifiée T2 sera mise à disposition, ainsi que la version Communitaire intégrant un générateur de code RUST.

Atelier B 4.6 pour EAL6+

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+...