Travaux R&D
(Recherche & Développement)

BPI France a sélectionné le projet LCHIP (Low Cost High Integrity Platform) dans le cadre du programme FUI 21. DURÉE : 42 mois PARTENAIRES : CLEARSY (leader),...

ECSEL JU a sélectionné le projet AIDOaRt (AI-augmented automation supporting modelling, coding, testing, monitoring and continuous development in...

ANR a sélectionné le projet BLaSST (Enhancing B Language Reasoners with SAT and SMT Techniques) dans la cadre de l’appel à projets générique 2020. DURÉE : 48...

ANR a sélectionné le projet DISCONT (Correct Integration of DIScrete and CONTinous models) dans la cadre de l’appel à projets générique 2017. DURÉE : 42...

ANR a sélectionné le projet ICSPA (Interoperable and Confident Set-based Proof Assistants) dans la cadre de l’appel à projets générique 2020. DURÉE : 48...