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
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) : néant
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 4h (2h par PA)
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents autorisés
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices) : tout dispositif électronique interdit
- matériel autorisé, préciser :
- matériel interdit, préciser :
Commentaires :
SESSION DE RATTRAPAGE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 1h30
Documents autorisés (ex : aucun, résumé feuille A4 manuscrite, dictionnaires, tous documents) : tous documents autorisés
Documents interdits (ex : livres, tous documents) :
Matériel (ex : calculatrices) : tout dispositif électronique interdit
Commentaires
Session 1 : un examen écrit de 2h en fin de 1ère période (E1a), un examen écrit de 2h en fin de deuxième période (E1b). La note est N1 = E1 = (E1a + E1b) / 2
Session 2 : un examen écrit de 1h30 (E2) qui remplace tout : N2 = E2
Pour toutes les épreuves : tous documents autorisés. Toute machine communicante interdite.
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 Programmation-logiciel
- Equipe Bases théoriques de l'informatique
- Equipe Sécurité Informatique
Vous pouvez retrouver ce cours dans la liste de tous les cours.