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, …
En savoir plus sur l’événement Méthodes formelles