Composante
École Nationale Supérieure d'Électrotechnique d'Électronique d'Informatique d'Hydraulique et des Télécommunications
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 obligatoires
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