CS5006 - Verification and Validation - Advanced

You are here:

CS5006 - Verification and Validation - Advanced

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:

- To be able to explain the place of formal methods in the map of system engineering processes: objectives, goals, inputs and outputs.
- To be able to compare formal methods with other verification and validation techniques.
- To be able to understand and explain formal methods based on model simulation ("model checking") and those based on formal proof.
- To know a formal language used for model checking
- To know a formal language used for formal proof
- To know how to model a system and how to perform demonstrations of properties using a model checking based approach
- To know how to model a system and how to perform demonstrations of properties using a formal proof based approach

Hours

  • Lectures : 15
  • Supervised Work : 5
This course is part of the programme

In brief

ECTS credits : cf Teaching Unit

Number of hours 20

Contact(s)

Daniel PRUN

Phone : +33 5 62 17 45 73

Email : daniel.prun @ enac.fr