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
=
méthodes formelles
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.
12
résultats
section 1
sur 1
résultats
1 à 12
Canal-u.fr
Assistant de démonstration (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Assistant de démonstration (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Conclusion (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Conclusion (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Exécution symbolique (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Exécution symbolique (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Faites-vous confiance à votre thermostat ?
Description
:
Certains systèmes logiciels qui interagissent avec le monde réel ne doivent échouer sous aucun prétexte, au risque de provoquer des catastrophes. Comment s?assurer que ces systèmes sont sûrs ? En particulier, quel degré de confiance accorder au processus de traduction de ces logiciels vers du code e ...
Date
:
22-06-2022
Description complète
Faites-vous confiance à votre thermostat ?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Les nombres et l'ordinateur
Description
:
Nous confions à nos ordinateurs de nombreux calculs (météo, simulations aéronautiques, jeux vidéos, feuilles Excel...) et nous considérons naturellement que l'ordinateur fournira une réponse juste. Malheureusement, la machine a ses limites que l'esprit humain n'a pas. Elle utilise une arithm ...
Date
:
05-06-2013
Description complète
Les nombres et l'ordinateur
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Pourquoi mon ordinateur calcule faux?
Description
:
Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure ...
Date
:
16-06-2009
Description complète
Pourquoi mon ordinateur calcule faux?
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
UNIT
Preuves de programmes en coq
Description
:
Le système Coq fournit un langage de programmation symbolique et un cadre logique pour raisonner sur les algorithmes décrits. Dans ce cours, nous décrivons les points clefs du langage de programmation, basé sur la programmation fonctionnelle, et du cadre logique de vérification, basé sur la logique ...
Date
:
21-09-2012
Description complète
Preuves de programmes en coq
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
UNIT
Preuves formelles, preuves calculatoires
Description
:
Dans cet exposé, Benjamin Werner présente les méthodes formelles appliquées à la validation de résultats spectaculaires comme la démonstration du théorème des quatre couleurs, ou encore de la conjecture de Kepler.
Date
:
08-01-2007
Description complète
Preuves formelles, preuves calculatoires
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder au document
Canal-u.fr
Propos liminaire (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Propos liminaire (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Raisonnement mathématique (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Raisonnement mathématique (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Récursivité (Introduction à la vérification de programme)
Description
:
Dans ce cours vidéo, il est expliqué schématiquement d'où proviennent les erreurs de programmation et en quoi consiste la vérification de programme. Vous aurez notamment une idée des fondements mathématiques et logiques sur lequels repose cette vérification. Ce cours présente également les principal ...
Date
:
02-01-2019
Description complète
Récursivité (Introduction à la vérification de programme)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Canal-u.fr
Révèle tes défauts (série Unithé ou café)
Description
:
Votre connexion internet à la maison vient de planter. Votre stress face à des adolescents qui hurlent qu?ils n?ont plus de wifi n?est rien face à l?avalanche d?alertes systèmes que reçoit votre fournisseur d?accès à cet instant. Comment démêler d?où vient la panne, alors que les systèmes sont inter ...
Date
:
07-02-2014
Description complète
Révèle tes défauts (série Unithé ou café)
Partager
Sur Facebook
Sur Twitter
Sur Google+
Sur LinkedIn
Sur Viadeo
Par courriel
Sur Scoop.it
Sur Pinterest
Accéder aux documents
Afficher section
2
sur 1