CS5007E - Formal methods based V&V 1

Objectives

General objective:

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.

Detailed objectives:

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

Form of assessment

Total assessment hours: 2