- Présentation
- Rubriques
- Approche fonctionnelle d’ORI-OAI et démarche de projet
- BIM
- Créer des documents avec Scenari
- Des rivières et des hommes : hydrologie, hydraulique et géomorphologie
- Études et recherche marketing
- Introduction à la mécanique via l’Hermione
- Introduction à la vérification de programme
- L'approche sémantique et les données liées
- La mécanique de la rupture : de la recherche aux applications industrielles
- La mécatronique
- Learning Object-Oriented Programming in Pharo
- Les générateurs électriques à combustible fossile ou naturel
- Les moteurs de recherche
- Opérations unitaires polyphasiques
- Panorama des objets connectés
- Pourquoi créer un jeu sérieux ?
- Promotion des études scientifiques et techniques
- Quelques aspects des bateaux volants
- Simuler pour optimiser
- Usine 4.0
- VideoManip : l'expérience magistrale au bout du clic
- Partenaires
- Contact
Introduction à la vérification de programme
Vidéos pédagogiques
Conclusion (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)
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
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
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
Assistant de démonstration (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
Raisonnement mathématique (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
Intervenant
Directeur d'Edukera, application en ligne de formation aux maths et à la logique (2019)