Contexte : La méthode B est utilisée pour développer formellement des composants logiciels et des modèles de systèmes critiques. Atelier B […]
Objectifs du stage : Évaluation et test d’un prouveur de bonne définition. Amélioration d’un parseur syntaxique B. CLEARSY DATA SOLVER […]
Objectif du stage : Développer, tester et intégrer un système RAG (Retrieval-Augmented Generation) robuste et adapté aux besoins spécifiques des projets […]
Objectif du stage : CLEARSY développe des simulateurs et bancs de tests dans le contexte de la norme de signalisation européenne […]
Objectif du stage : Le contexte du stage est la norme de signalisation européenne ERTMS, qui définit l’échange normalisé de messages […]
Objectif du stage : Le stage consiste à développer un outil de validation automatique permettant de s’assurer de la bonne adéquation […]
Objectif : Développer un workbook à destination des étudiants découvrant la méthode B et l’Atelier B. Contexte : L’Atelier B […]
Objectif : Travaux de développement et d’évolutions sur un outil de preuve formelle. Atelier B est un environnement graphique de […]