Vérification par Analyse Statique
- Code : N8EN08B
En bref
Objectifs
Étude des principales contraintes et technologies pour le développement de systèmes critiques de sécurité. Comprendre et mettre en œuvre les technologies d'analyse statique et dynamique : vérification déductive, contrôle des modèles, interprétation abstraite.
Description
Vérification déductive : Logique de Hoare, calcul de la précondition la plus faible
Vérification de modèles : BDD, SMT
Interprétation abstraite
Pré-requis nécessaires
Programmation fonctionnelle
Programmation modulaire impérative
Programmation orientée objets et événements
Outils mathématiques pour l'informatique
Ingénierie des systèmes et des logiciels
Systèmes de transition
Session 1 ou session unique - Contrôle des connaissances
| Modalité | Nature | Coefficient | Remarques |
|---|---|---|---|
| CC (contrôle continu) | Bureau d'Etudes | 100% | BE-Vérification par Analyse Statistique |
Session 2 - Contrôle des connaissances
| Modalité | Nature | Coefficient | Remarques |
|---|---|---|---|
| CC (contrôle continu) | Bureau d'Etudes | 100% | BE-Vérification par Analyse Statistique |
Contact(s)
THIRIOUX XAVIERLieu(x)
- Toulouse
