Volumes horaires
- CM 18.0
- TD 18.0
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,
ainsi que pour construire et utiliser des outils d’analyse et de vérification.
Contenu(s)
- Notions générales : sémantique opérationnelle des langages de programmation impératifs, expression de propriétés des programmes, notion de vérification exacte ou approchée ;
- Eléments théoriques sur le point fixe et la décidabilité ;
- Développement d'une chaîne de vérification par interprétation abstraite, depuis le texte du programme jusqu'à la réponse d'un outil de vérification.
- Ce cours est donné en Période(s) Académique(s) 5 et 6 **
Prérequis
- Algorithmique et programmation
- Théorie des langages
Contrôle des connaissances
CONTRÔLE CONTINU :
Type d'évaluation (ex : TP, assiduité, participation) :
SESSION NORMALE :
Type d'examen (écrit, oral, examen sur machine) : écrit
Salle spécifique :
Durée : 2h
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
- matériel autorisé, préciser :
- matériel interdit, préciser :
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 écrites : tous documents autorisés. Toute machine communicante interdite.
Informations complémentaires
Cursus ingénieur->Alternance->Alternance 2eme annee