Formal Design

Informations

Langue d'enseignement : Anglais
Crédits ECTS: 6

Programme

  • Heures d'enseignement dispensées à l'étudiant : 48 heures
  • Temps de travail personnel : 102 heures

Objectifs et compétences

Objectifs :
Training objectives:

- The design of systems and software can be made more reliable through the use of formal methods. The course is a pragmatic approach to the formal design from case studies and proven techniques: proof, refinement and model checking.

Acquired skills :

- Capacity of abstraction of system's behaviors (hardware and software) for verification of functional and / or dysfunctional properties.

- Capacity of abstraction and logical reasoning about data, instructions and sequences of instructions in order to prove software correctness.

Organisation pédagogique

le mode de fonctionnement de l'UE est présenté au début des enseignements

Contrôle des connaissances

1 CC écrit (1/2) et 1 examen écrit 3h (1/2)

Pas de session 2

Lectures recommandées

l'ensemble des références bibliographiques est communiqué au début des enseignements

Responsable de l'unité d'enseignement

Alain Griffault

Enseignants

la composition de l'ensemble de l'équipe pédagogique est communiquée au début des enseignements