Il y a 1 Résultats avec le mot clé : "ABSTRACTION"
European Research Council 2011
Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques
Cette année encore, quatre jeunes chercheurs d’Inria ont décroché une bourse du très sélectif Conseil européen de la recherche (ou European Research Council , ERC) pour mener pendant cinq ans une recherche exploratoire, avec un budget de 1 à 1,5 million d’euros. Xavier Rival, chercheur en informatique, membre de l’équipe-projet Abstraction, est un des lauréats. Il explique son projet.
Mots-clés :
- Xavier Rival
- ABSTRACTION
- INRIA Paris - Rocquencourt
- Sûreté de fonctionnement
- Preuve de programme
- Astrée
- ERC
- Logiciel
Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques