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

> Formation > Cursus ingénieur

Semantics and program analysis - 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

  • Number of hours

    • Lectures : 18.0
    • Tutorials : 18.0
    ECTS : 2.0

Goals

This course is an introduction to the foundations of semantics and program analysis. It presents the basis on which one can rely to specify and develop correct applications, and also to build and use analysis and verification tools.

Contact Xavier NICOLLIN

Content

  • General notions : operational semantics of imperative programming languages, how to express the properties of programs, exact or approximate verification;
  • Elements of theory: fixed point and decidability
  • Development of a complete verification chain based on abstract interpretation principles, from the text of the program to the answer of a verification tool.


Prerequisites
  • Algorithms and imperative programming
  • Language theory

Tests

Give kind of exam for session 1 and session 2: written, allowed documents or not, oral, practical work, reports, plan, vivas



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.

Additional Information

Curriculum->Work Study Education->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

Date of update January 15, 2017

Université Grenoble Alpes