Notice
Propos liminaire (Introduction à la vérification de programme)
- 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.
Première partie du cours "Introduction à la vérification de programme".
Avec les mêmes intervenants et intervenantes
-
Exécution symbolique (Introduction à la vérification de programme)
RognierBenoitDans 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
-
Conclusion (Introduction à la vérification de programme)
RognierBenoitDans 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
-
Raisonnement mathématique (Introduction à la vérification de programme)
RognierBenoitDans 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
-
Assistant de démonstration (Introduction à la vérification de programme)
RognierBenoitDans 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
-
Récursivité (Introduction à la vérification de programme)
RognierBenoitDans 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