Recherche en cours
Par mots-clef
=
vérification de programme
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-1
sur 1
résultats
1 à 7
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
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
Format
:
Document HTML, Document PDF
Auteur
:
Leroy Xavier
Thème
:
Informatique, Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
enseignement supérieur, licence
Public
:
apprenant, enseignant
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
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
Format
:
video/mp4
Auteur
:
ROGNIER Benoit
Thème
:
Informatique
Type de la ressource pédagogique
:
cours / présentation
Niveau
:
master, formation continue
Afficher section
2
sur 1