AUTOMATISATION D’UN BANC DE TESTS DE VALIDATION FORMELLE

Automatisation d’un banc de tests de validation formelle

SUITE D’OUTILS D’AUTOMATISATIONS ET DE TRAITEMENT DES DONNÉES ET OUTIL DE VISUALISATION DE DONNÉES

Développement et amélioration d’outils logiciels pour le traitement et la visualisation de données

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