Ressource pédagogique : Exécution symbolique (Introduction à la vérification de programme)

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...
Mots-clés :
Accéder aux ressources pédagogiques
cours / présentation - Date de création : 02-01-2019
Auteur(s) : Benoit ROGNIER
Partagez !

Présentation de: Exécution symbolique (Introduction à la vérification de programme)

Informations pratiques sur cette ressource

Type pédagogique : cours / présentation
Niveau : master, formation continue
Durée d'exécution : 9 minutes 26 secondes
Contenu : image en mouvement
Document : video/mp4
Taille : 19.13 Mo
Droits : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. Attribution - Partage dans les mêmes conditions (CC BY-SA)

Description de la ressource pédagogique

Description (résumé)

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 principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés. Deuxième partie du cours "Introduction à la vérification de programme".

"Domaine(s)" et indice(s) Dewey

  • Vérification, essai, mesure, débogage (005.14)

Thème(s)

Partagez !

AUTEUR(S)

  • Benoit ROGNIER

EN SAVOIR PLUS

  • Identifiant de la fiche
    48233
  • Identifiant
    oai:canal-u.fr:48233
  • Schéma de la métadonnée
  • Entrepôt d'origine
    Canal-u.fr