-
- Label UNT : UNIT
-
- Date de réalisation : 2 Janvier 2019
- Durée du programme : 10 min
- Classification Dewey : Vérification, essai, mesure, débogage
-
- Catégorie : Vidéocours
- Niveau : niveau Master (LMD), Formation continue
- Disciplines : Informatique
- Collections : Introduction à la vérification de programme
- ficheLom : Voir la fiche LOM
-
- Auteur(s) : ROGNIER Benoit
-
- Langue : FRA
- Mots-clés : méthode formelle, preuve de programme, Logique mathématique, vérification de programme, programmation fonctionnelle
- Conditions d’utilisation / Copyright : Attribution - Partage dans les mêmes conditions (CC BY-SA)
Dans la même collection










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".
commentaires
Ajouter un commentaire Lire les commentaires