4.1 Slides of the course

4.1.1 Lecture 1 The Modelling Language Event-B.

4.1.2 Lecture 2 Proof Obligations.

4.1.3 Lecture 3 Correctness by Construction with the Modelling Language Event-B using the Refinement.

4.1.4 Lecture 4 Access Control

4.1.5 Lecture 5 Checking contracts with Event-B