Aller au menu Aller au contenu
Une voie, plusieurs choix
Informatique et Mathématiques appliquées
Une voie, plusieurs choix

> Formation > Cursus ingénieur

Sémantique et analyse de programmes - 4MM1SAP

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In
  • Volumes horaires

    • CM : 18.0
    • TD : 18.0
    Crédits ECTS : 2.0

Objectifs

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

  • 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ôles 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

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail cet article Facebook Twitter Linked In

mise à jour le 15 janvier 2017

Université Grenoble Alpes