tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Publications
Code HTML : Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
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.
Nom de fichier :
Inria-697-Abstraction-fr.mp4
Nom de fichier :
Inria-697-Abstraction-fr.mp4
Année :
Titre :
RII - Astrée : preuve d'absence d'erreurs à l'exécution.
Mots clés :
Centre de recherche (w) :
Equipe-Projet (www) :
Auteur scientifique :
Auteur réalisateur :
Inria-697-Abstraction-fr_BDWeb.MP4

Format : .mp4
15,4 Mo
480 x 270 pixels
Basse défiinition - Web
Encodage PAL .MP4 H264
512 kbits/s
Inria-697-Abstraction-fr_HD.MP4

Format : .mp4
120,9 Mo
1024 x 576 pixels
Moyenne définition - équivalent DVD
Encodage PAL .MP4 H264
5 Mbits/s
Sélection
Voir Selection
Déposer ici pour retirer de la sélection