Il y a 1 Résultats avec le mot clé : "Astrée"
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 5 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
Inria
Inria.fr
Inria Channel
Centres de recherche Inria