Volumes horaires
- CM 18.0
- Projet -
- TD 18.0
- Stage -
- TP -
- DS -
Crédits ECTS
Crédits ECTS 2.0
Objectif(s)
Ce cours est une introduction aux fondements de la sémantique et de l’analyse de programmes.
Il offre les bases sur lesquelles s’appuyer pour spécifier et développer des applications sûres,
construire et se servir d’outils d’analyse et de vérification.
Responsable(s)
Xavier NICOLLIN
Contenu(s)
- Eléments théoriques sur le point fixe et la décidabilité
- Sémantique opérationnelle des langages de programmation
- Calcul de plus faible précondition et preuve de programmes
- Analyse de flot de données
- Analyse statique et interprétation abstraite
- Applications à la compilation, à la sûreté et à la sécurité des logiciels
- Travaux pratiques à l'aide de 2 outils industriels
Ce cours est donné en Période(s) Académique(s) 5 et 6
Prérequis- Algorithmique, programmation
- Théorie des langages
Contrôle des connaissances
Evaluation : Examen Ecrit (4h (2h par période))
Rattrapage : Examen Ecrit (1h30)
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Durée : 4h (2h par PA)
Documents autorisés : tous documents autorisés
Matériel (ex : calculatrices) : tout dispositif électronique interdit
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Durée : 1h30
Documents autorisés : tous documents autorisés
Matériel (ex : calculatrices) : tout dispositif électronique interdit
Calendrier
Le cours est programmé dans ces filières :
- Cursus ingénieur - Alternance - Alternance 2eme annee
Informations complémentaires
Code de l'enseignement : 4MM1ACSS
Langue(s) d'enseignement : 
Le cours est rattaché aux structures d'enseignement suivantes :
- Equipe Sécurité Informatique
- Equipe Bases théoriques de l'informatique
Vous pouvez retrouver ce cours dans la liste de tous les cours.