R&D Activities

ICSPA
ANR has selected the project ICSPA (Interoperable and Confident Set-based Proof Assistants) under the framework "appel à projets générique 2020". DURATION: 48...

DISCONT
ANR has selected the project DISCONT (Correct Integration of DIScrete and CONTinous models) under the framework "appel à projets générique 2017". DURATION :...

AIDOART
ECSEL JU has selected the project AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in...

BLASST
ANR has selected the project BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) under the framework "appel à projets générique 2020"....

LCHIP
BPI France has selected the project LCHIP (Low Cost High Integrity Platform) under the framework FUI 21. DURATION : 42 monthsPARTNERS : CLEARSY (leader),...