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

IA pour la preuve interactive

IA pour la preuve interactive

Dans le cadre du projet de R&D collaboratif AIDOaRT, CLEARSY va développer un module dans le prouveur interactif de l'Atelier B qui peut apprendre du...