tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche avancée
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Recherche par couleur
Ensemble de recherche :
tous les documents
  • tous les documents
  • Images
  • Films
  • Rushes
  • Publications
  • Audio
Code HTML Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
Titre :
RII - Alt-Ergo, preuve automatique pour la certification de code critique.
Légende - Résumé :
Sylvain Conchon présente l'équipe Inria PROVAL (Preuve de programmes) qui s'intéresse à la preuve de programme et développe différents outils pour la preuve de programme dont Al-Ergo, un démonstrateur automatique.

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-705-PROVAL_ALT_ERGO-fr.mp4
Année :
2010
Durée (min) :
00:02:41
Lien Equipe-projet :
Lien Centre de Recherche :
Mots clés :
Inria-705-PROVAL_ALT_ERG_HD.MP4

Format : .mp4
98,5 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