Sixième appel à projet résultats de la sélection finale

APPEL CLOS

L'appel N°6 de la F.N.R.A.E "Méthodes de vérification des systèmes et logiciels" se décompose en trois axes:

? Les méthodes formelles et les méthodes pour le co-design (hardware/software) et les systèmes de systèmes

?  Les techniques d'analyse pour la sûreté et la sécurité

?  Les techniques de vérification de code et l'intégration de composants

Les projets qui ont été sélectionnés sont :

- CAVALE (ONERA/DTIM)

- ALPROSE (ONERA/DTIM)

- ASCERT (INRIA Rennes)

- QUARTEFT (LAAS-CNRS)

- SARDANES (Université de Perpignan)

 Vous pouvez consulter le détail de ces cinq projets dans la rubrique "Les projets" - descriptif scientifique.