DEVELOPPEMENT D’UN SERVEUR DE LANGAGE POUR LE B F/H

Objectif du stage : CLEARSY conçoit et développe des systèmes critiques sûrs en s'appuyant sur la méthode formelle B et le B événementiel au moyen logiciel Atelier B. Les ingénieurs utilisent cet atelier pour écrire et prouver leurs modèles, mais les outils d'édition modernes (VS Code, Eclipse, éditeurs web) ne disposent pas d'une assistance aussi avancée pour les langages B et B événementiel : coloration syntaxique, absence de diagnostics en temps réel, pas de complétion ni de navigation. La s…