PERFECTIONNEMENT DE LA GESTION DES REGLES DE PREUVE DANS ATELIER B

Atelier B est un environnement de développement logiciel intégré (IDE) pour les méthodes formelles B et le B événementiel. Cette […]

TRADUCTEUR SMT2.7 POUR L’ATELIER B

L’Atelier B consiste en un ensemble d’outils permettant la mise en œuvre de la méthode B, une méthode de développement […]

MODERNISATION FULLSTACK DE L’ATELIER B

Objectif du stage : Travaux de développement et d’évolutions sur un outil de preuve formelle. Atelier B est un environnement […]

SÉCURISATION D’UN DISPOSITIF DE CONTRÔLE DE SUPERVISION

Objectif du stage : Ce stage vise à fiabiliser un système informatique de contrôle d’écran de supervision de procédé industriel. La […]