7 ressources en auto-formation : preuve formelle

FILTRES

7 résultats
page 1 sur 1
Résultats de 1 à 7
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern) cours / présentation
11/12/2009
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Auteur(s) : Leroy Xavier
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 ...
Présentation de la ressource en auto-formation Comment faire confiance à un compilateur ? cours / présentation, démonstration
21/05/2010
Comment faire confiance à un compilateur ?
Auteur(s) : Leroy Xavier
Description : Comment faire exécuter par une machine des programmes écrits dans un langage de haut niveau, qu’elle ne peut comprendre ?
Présentation de la ressource en auto-formation Du rêve à la réalité des preuves cours / présentation, démonstration
08/06/2012
Du rêve à la réalité des preuves
Auteur(s) : Delahaye Jean-Paul
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.
Présentation de la ressource en auto-formation L’informatisation des objets, ou l’invasion des pucerons cours / présentation, démonstration
17/01/2007
L’informatisation des objets, ou l’invasion des pucerons
Auteur(s) : Berry Gérard
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...
Présentation de la ressource en auto-formation La vérité et la machine cours / présentation, démonstration
30/09/2009
La vérité et la machine
Auteur(s) : Werner Benjamin
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.
Présentation de la ressource en auto-formation Les leçons d’un algorithme délinquant cours / présentation, démonstration
20/02/2004
Les leçons d’un algorithme délinquant
Auteur(s) : Muller Jean-Michel
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 ?
Présentation de la ressource en auto-formation Une preuve sur les nombres premiers cours / présentation, démonstration
24/02/2004
Une preuve sur les nombres premiers
Auteur(s) : Castiel Anita
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.