Inria-706-PROVAL_FRAMAC-fr.mp4
RII - Frama-C, une boîte à outils pour la vérification de logiciels en C
|
|
|
|
Lien :
Copiez/collez ce lien pour l'envoyer par email, l'inclure dans une page web ou le partager sur les réseaux sociaux.
Code HTML :
Copiez-collez le code ci-dessous pour l'intégrer dans une page Web.
|
Légende - Résumé :
|
Pascal Cuoq, de l'équipe Inria PROVAL (Preuve de programmes), présente le projet Frama-C, qui vise à produire des outils pour la vérification de logiciels embarqués.
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-706-PROVAL_FRAMAC-fr.mp4
|
Titre :
|
RII - Frama-C, une boîte à outils pour la vérification de logiciels en C
|
Mots clés :
|
|
Lien Centre de Recherche :
|
|
Lien Equipe-projet :
|
|
Auteur réalisateur :
|
|
Année :
|
|
Durée (min) :
|
00:01:34
|
|
|