CS5006E - Formal methods based V&V 1

Objectives

General objective:

At the end of this course, students shall be able to understand and to use some verification and validation techniques based on the definition and the exploitation of models.

Detailed objectives:

- Be able to explain the role of formal methods in system engineering processes: objectives, input and output data.
- Be able to compare formal methods with other verification and validation methods.
- Be able to model and conduct certain verifications using a refinement approach such as the B method.

Hours

• Lecture : 3h
• Supervised Practical Work : 17h

Form of assessment

Total assessment hours: 2