CLEARSY a participé au séminaire « Integration of Tools for Rigorous Software Construction and Analysis » (n° 13372), organisé à Dagstuhl (Allemagne) du 8 au 13 Septembre 2013.
Le programme du séminaire recouvrait tant les aspects théoriques que les applications pratiques, en mettant l’accent sur les méthodes et outils d’ingénierie système qui ont été démontré comme étant industriellement viables. Un objectif important de ce séminaire a été de contribuer à l’intégration de ces méthodes de développement, en clarifiant leur points communs et différences, afin de mieux comprendre comment les combiner pour accomplir les tâches de modélisation, validation et vérification mathématique de systèmes électroniques/informatiques sûrs. CLEARSY a utilisé l’Atelier B, ProB et BMotionStudio pour les travaux de modélisation en B et Event-B.