Rechercher une ressource pédagogique : preuve formelle

Le moteur de recherche des ressources pédagogiques donne accès à un ensemble de documents mis à disposition par l'Université Numérique, les établissements d'enseignement supérieur et Canal U. Vous y trouverez des productions universitaires dans l'ensemble des domaines de formation.

FILTRES

7 résultats
section 1 sur 1
résultats 1 à 7
UNIT
UNIT
08.10.2009
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 ...
  • compilateur
  • logiciel critique
  • programmation fonctionnelle
  • vérification de programme
  • vérification formelle
  • preuve formelle
  • fuscia
  • conference
  • stic
  • recherche
UNIT
UNIT
30.03.2010
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 ?
  • erreur
  • langage haut niveau
  • fossé sémantique
  • preuve formelle
  • CompCert
  • fuscia
UNIT
UNIT
01.08.2011
Du rêve à la réalité des preuves
Description : Les ordinateurs ne savent pas prouver seuls des théorèmes profonds. Cependant, grâce aux assistants de preuve, ils garantissent les démonstrations découvertes par les mathématiciens.
  • assistant de preuve
  • preuve formelle
  • preuve de programme
  • logique mathématique
  • démonstration
  • complexité
  • fuscia
UNIT
UNIT
08.06.2006
L’informatisation des objets, ou l’invasion des pucerons
Description : Les systèmes embarqués envahissent tous les pans de l’industrie, depuis l’avionique jusqu’aux objets de la vie courante. Doit-on redouter cette évolution technologique ? Regardez cette conférence de Gérard Berry...
  • informatisation
  • bug application
  • preuve formelle
  • circuit
  • fuscia
UNIT
UNIT
11.12.2008
La vérité et la machine
Description : Peut-on être sûr de la vérité d’une preuve ? Cette preuve de la preuve, comment l’obtenir en pratique ? La vérification formelle de démonstration est de plus en plus utilisée par les mathématiciens.
  • preuve de programme
  • preuve formelle
  • logique mathématique
  • démonstration
  • Coq
  • théorème des quatre couleurs
  • fuscia
UNIT
UNIT
19.02.2004
Les leçons d’un algorithme délinquant
Description : Pour le sens commun, la machine ne se trompe jamais. Si par malheur un utilisateur pointilleux découvre une erreur dans son calcul sur ordinateur, qui doit-il alors accuser ? Lui, ou la machine ?
  • bug
  • Pentium
  • implémentation d'algorithmes
  • erreur
  • preuve formelle
  • fuscia
UNIT
UNIT
24.02.2004
Une preuve sur les nombres premiers
Description : Un ordinateur, c’est avant tout une machine. Est-il alors bien raisonnable de lui confier des démonstrations ? Voici un exemple propre à convaincre les sceptiques.
  • algorithme de Knuth
  • preuve formelle
  • Coq
  • complexité
  • fuscia