Vidéo pédagogique
Notice
Sous-titrage
Sous-titre
Langue :
Français
Crédits
Benoit Rognier (Intervention)
Conditions d'utilisation
Attribution - Partage dans les mêmes conditions (CC BY-SA)
Citer cette ressource :
Benoit Rognier. UNIT. (2019, 2 janvier). Conclusion (Introduction à la vérification de programme). [Vidéo]. Canal-U. https://www.canal-u.tv/75309. (Consultée le 2 mars 2024)

Conclusion (Introduction à la vérification de programme)

Réalisation : 2 janvier 2019 - Mise en ligne : 2 janvier 2019
  • document 1 document 2 document 3
  • niveau 1 niveau 2 niveau 3
Descriptif

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.

Sixième partie du cours "Introduction à la vérification de programme".

Intervention
Thème
Discipline :

Avec les mêmes intervenants et intervenantes

  • Récursivité (Introduction à la vérification de programme)
    Vidéo pédagogique
    00:10:08

    Récursivité (Introduction à la vérification de programme)

    Rognier
    Benoit

    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

  • Exécution symbolique (Introduction à la vérification de programme)
    Vidéo pédagogique
    00:09:25

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

    Rognier
    Benoit

    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

  • Propos liminaire (Introduction à la vérification de programme)
    Vidéo pédagogique
    00:13:30

    Propos liminaire (Introduction à la vérification de programme)

    Rognier
    Benoit

    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