RII - Astrée : preuve d'absence d'erreurs à l'exécution.
Imprimer
Inria-697-Abstraction-fr.mp4
RII - Astrée : preuve d'absence d'erreurs à l'exécution.
Lien vers la page du documentCopiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Code HTMLCopiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Taille d'affichage :
Titre :
RII - Astrée : preuve d'absence d'erreurs à l'exécution.
Légende - Résumé :
Xavier Rival présente l'équipe Inria ABSTRACTION (Interprétation abstraite et analyse statique) et l'analyseur statique Astrée dont le but est de prouver l'absence d'erreur à l'exécution dans des programmes C de type synchrone critique tels que des commandes de vol d'avion.
Rencontres Inria - Industrie sur le thème "Les industries de l'aéronautique et de l'espace: modélisation et systèmes sûrs", le 17 mai 2010 à Toulouse.