Vérification par Analyse Statique
Objectives
Study of the main constraints and technologies for the development of safety critical systems. Understand and implement static and dynamic analysis technologies: deductive verification, model checking, abstract interpretation
Description
Deductive verification: Hoare logic, Weakest precondition calculus
Model checking: BDD, SMT
Abstract interpretation
Pre-requisites
Functional Programming
Modular Imperative Programming
Object and Event Driven Programming
Mathematical tools for computer science
System and Software Engineering
Transition Systems
Session 1 ou session unique - Contrôle des connaissances
Modalité | Nature | Coefficient | Remarques |
---|---|---|---|
CC (contrôle continu) | Bureau d'Etudes | 100% | BE-Vérification par Analyse Statistique |
Session 2 - Contrôle des connaissances
Modalité | Nature | Coefficient | Remarques |
---|---|---|---|
CC (contrôle continu) | Bureau d'Etudes | 100% | BE-Vérification par Analyse Statistique |