Inria
Inria.fr
Inria Channel
Conférence
Demi-heure de science
La demi-heure de science est ouverte au plus grand nombre. Venez nombreux !
- Date : 6/12/2012
- Lieu : Inria Rocquencourt
- Intervenants : Xavier Rival
La demi-heure de science a lieu tous les mois, à partir de 11h, à l’amphithéâtre Jacques-Louis Lions au bâtiment 1. Un café vous accueillera dès 10h45.
Cette demi-heure a pour but de présenter, à tous les scientifiques du centre, un thème, son intérêt et les questions qui s’y rapportent, le but étant de répondre à la question « pourquoi mène-t-on des recherches dans ce domaine-là ?».
Prochain rendez-vous le jeudi 6 décembre à 11h
Xavier Rival : Preuve automatique de la sûreté de logiciels critiques
Des logiciels tels que des commandes de vol d'avions doivent être d'une fiabilité totale, dans la mesure où un dysfonctionnement du calculateur de vol pourrait entraîner une catastrophe. En particulier, il serait inacceptable qu'un tel logiciel puisse produire des erreurs à l'exécution. Il est mathématiquement impossible de déterminer de manière automatique et exacte si un logiciel informatique est correct, mais il est possible d'effectuer un calcul automatique dit conservatif, qui détectera tout problème potentiel, mais risque d'échouer à prouver la correction de certains programmes qui sont pourtant justes. Je montrerai comment cela peut être effectué grâce à la théorie mathématique de l'interprétation abstraite, et je présenterai quelques applications de ce cadre de travail à des problèmes simples.
Mots-clés : Séminaire Paris - Rocquencourt
En savoir plus
Et aussi
