Notre catalogue de ressources
Naviguer par :
Menu
Toutes les ressources
Nouveautés
Recherche avancée
Par thème
Par auteur
Produite par UNIT
Aide
Recherche en cours
Par mots-clef
=
preuve formelle
Affiner ma recherche
Imprimer
Flux RSS
Titre
Titre
Date
Auteur
Afficher 12
Afficher 12
Afficher 24
Afficher 36
Afficher 48
Afficher 60
Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
7
résultats
section 1
sur 1
résultats
1 à 7
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 erre ...
Date
:
08-10-2009
Description complète
Comment faire confiance à un compilateur ? (série : Colloquium Jacques Morgenstern)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
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 ?
Date
:
30-03-2010
Description complète
Comment faire confiance à un compilateur ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
01-08-2011
Description complète
Du rêve à la réalité des preuves
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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...
Date
:
08-06-2006
Description complète
L?informatisation des objets, ou l?invasion des pucerons
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
11-12-2008
Description complète
La vérité et la machine
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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 ?
Date
:
19-02-2004
Description complète
Les leçons d?un algorithme délinquant
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
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.
Date
:
24-02-2004
Description complète
Une preuve sur les nombres premiers
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Afficher section
2
sur 1