 |
Le projet LEIA: Learning-Enhanced Incremental Analyses
1 : Laboratoire de Sûreté et de Sécurité des Logiciels
(LSL)
-
Site web
CEA Tech List
Nano-Innov, Palaiseau -
France
Le projet LEIA est financé dans le cadre du Grand Défi Cyber et regroupe le CEA List et Systerel. L'objectif global du projet est de faciliter l'intégration d'outils d'analyse formelle de code, en particulier Frama-C et Binsec dans des cycles de développement plus agiles que le traditionnel cycle en V des systèmes critiques, pour vérifier des propriétés de sécurité.
