Systerel a participé du 16 au 21 octobre au séminaire Dagstuhl sur le thème de « l’universalité des preuves ».
Systerel a apporté sa maîtrise du langage Event-B et des mécanismes internes de la plate-forme Rodin ainsi que son expertise d’autres systèmes de preuve lors des différents échanges de ce séminaire.
En savoir plus En savoir plus sur les méthodes formelles