CS5007E - Formal methods based V&V 1

Objectifs

Objectif général :

At the end of the course, the student will be able to understand and use some verification and system validation techniques
and validation techniques based on the development and use of models.

Objectifs détaillés :

At the end of this course, the student will be able to:
- explain the place of formal methods in system engineering processes: objectives sought, input and output data.
- compare formal methods with other verification and validation methods.
- Know how to model and conduct certain verifications using a refinement approach such as the B method

Examens

Nombre total d'heures d’évaluation : 2