2 résultats : LEROY XAVIER

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
page 1 sur 1
résultats 1 à 2
UNIT
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Description : Les outils de vérification formelle de programmes (analyseurs statiques, prouveurs de programmes, model-checkers) ont fait des progrès remarquables ces dernières années et commencent à percer dans le monde du logiciel critique. Cependant, ces outils ne vérifient "que" des programmes source: des ...
Mots clés : compilateur, logiciel critique, programmation fonctionnelle, vérification de programme, vérification formelle, preuve formelle, fuscia, conference, stic, recherche
Date : 08-10-2009
Format : Document HTML, Document PDF
Auteur : Leroy Xavier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation
Niveau : enseignement supérieur, licence
Public : apprenant, enseignant
Droits : Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification)
UNIT
Comment faire confiance à un compilateur ?
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
Mots clés : erreur, langage haut niveau, fossé sémantique, preuve formelle, CompCert, fuscia
Date : 30-03-2010
Format : Document HTML
Auteur : Leroy Xavier
Thème : Informatique
Type de la ressource pédagogique : cours / présentation, démonstration
Niveau : enseignement supérieur
Public : apprenant
Droits : Ce document est diffusé sous licence Creative Common : Paternité - Pas d'utilisation commerciale - Pas de modification. http://creativecommons.org/licenses/by-nc-nd/2.0/fr/legalcode