DÉVELOPPEMENT D’UN ENVIRONNEMENT PERMETTANT DE PROGRAMMER EN RUST SUR UN CALCULATEUR SÉCURITAIRE

Développement d’un environnement Rust & Langage formel B pour calculateur sécuritaire

DÉVELOPPEMENT BANC DE TESTS AUTOMATISÉ

Conception d’un banc de tests automatisé d’interfaces homme-machine

MODERNISATION FULLSTACK DE L’ATELIER B

Amélioration et modernisation du code source de l’outil Atelier B