Conclusion
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 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".
Assistant de démonstration
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 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.
Cinquième partie du cours "Introduction à la vérification de programme".
Raisonnement mathématique
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 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.
Quatrième partie du cours "Introduction à la vérification de programme".
Récursivité
RÉCURSIVITÉ (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 principales techniques pour la vérification de programme ainsi que quelques logiciels utilisés.
Troisième partie du cours "Introduction à la vérification de programme".
Exécution symbolique
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 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".
Propos liminaire
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 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".
