Projet IMPEX

Systerel est invitée à un séminaire de recherche à Shonan au Japon du 22 au 25 novembre sur la thématique du projet IMPEX : Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve.

Systerel présentera l’intérêt des méthodes formelles à travers son expertise : étude de cas ferroviaire autour de la validation formelle de données (OVADO®), modélisation formelle avec Event-B, …