Projects (Past,Present)

Current Projects

• ANR EBRPPlus  The project intends to improve to enhance Event-B and the corresponding RODIN toolset.
• EB2ALL  The Event-B to C, C++, Java and C# Code Generator
• ANR FORMEDICIS ( ANR-16-CE25-0007) Méthodes formelles pour le développement et l’ingénierie de systèmes interactifs critiques (01/2017-01/2021)  The site of the project is here ( just click!!!!!!!!)
• ANR DISCONT ( ANR-17-CE25-0005) Intégration correcte de modèles discrets et continus  (03/2018-03/2022) The site of the project is here (just click!!!).
• Project INRIA VeriDis: Verification of Distributed Systems
• ANR EBRP-PLus Enrichissement de EventB et de RODIN : EventB-Rodin-Plus – EBRP-EventB-Rodin-Plus

Past Projects

• 12/2013-12/2018: ANR IMPEX ( ANR-13-INSE-0001) Intégration des sémantiques implicite et explicite dans les développements de systèmes discrets fondés sur la preuve   Visit  the website of IMPEX
• 12/2006-09/2010:   ANR RIMEL (ANR ANR-06-SETI-015) (Raffinement Incrémental de Modèles événementiELs)