Travaux R&D
(Recherche & Développement)

LCHIP

LCHIP

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),...

AIDOART

AIDOART

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

BLASST

BLASST

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...

DISCONT

DISCONT

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...

ICSPA

ICSPA

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...