Ensimag Rubrique Formation 2022

Sémantique et analyse de programmes - 4MM1SAP

  • 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.

Contact Xavier NICOLLIN

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