Sites Inria

Il y a 1 Résultats avec le mot clé : "sûreté de fonctionnement"

Xavier Rival

European Research Council 2011

Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Isabelle Bellin - 20/09/2011

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 :

Accueil > Actualité > Actualités Inria > Xavier Rival : vérifier automatiquement la sûreté des logiciels critiques

Lire la suite

Haut de page

Suivez Inria