Graduate School and Research Center In communication systems

FormalMethods-Formal specification and verification of systems

[FormalMet]
T Technical Teaching


Abstract

  • This course aims to give students the fundamentals of formal methods for specifying and verifying systems.
  • Emphasis is placed on practical use of the notions encountered.

Description

GOALS :

  • The design of reliable (and safety-critical) systems, in particular, requires great care and precision, as errors in their development can lead to potentially awful consequences. It can greatly benefit from the use of formal methods, whose sound mathematical foundations permit to apply formal verification techniques to analyze the properties (e.g. correctness) of the system under development. The application of formal methods  requires  skills and know-how on the part of the developer.
  • This course aims to give students the fundamentals  of formal methods for specifying and verifying systems.
  • Emphasis is placed on practical use of the notions encountered.

CONTENTS :
This course consists of two parts:

  • A survey of formal methods for the specification and verification of systems
  • An example of formal methods used in industry, B method
Nb hours: 21.00
Nb hours per week: 1.50
Control form: examen écrit ou contrôle continu