Introduction à la vérification de programme

Vidéo pédagogique

Assistant de démonstration (Introduction à la vérification de programme)
Vidéo pédagogique
00:08:02
Assistant de démonstration (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

Conclusion (Introduction à la vérification de programme)
Vidéo pédagogique
00:04:47
Conclusion (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

Raisonnement mathématique (Introduction à la vérification de programme)
Vidéo pédagogique
00:09:51
Raisonnement mathématique (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

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)

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)

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