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

> Formation > Cursus ingénieur

Code Analysis for Safety and Security - 4MMACSS

A+Augmenter la taille du texteA-Réduire la taille du texteImprimer le documentEnvoyer cette page par mail Partagez cet article Facebook Twitter Linked In Google+ Viadeo
  • Number of hours

    • Lectures : 10.5
    • Tutorials : 21.0
    ECTS : 3.0

Goals

This course is an introduction to the foundations of semantics and program analysis. It presents the basis necessary
to specify and design reliable applications, as well as to build and use analysis and verification tools.

Contact Marie-Laure POTET

Content

  • Operational semantics of programming languages.
  • Weakest precondition and program proof.
  • Data-flow analysis.
  • Static analysis and abstract interpretation.
  • Applications to compilers and to software safety and security.
  • Practical works with two industrial tools.


Prerequisites

Courses of Programming and Language theory (1st year).

Tests

Written exam



Additional Information

Curriculum->Information Systems Engineering->Semester 8

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

Date of update June 18, 2017

Grenoble INP Institut d'ingénierie Univ. Grenoble Alpes