3.1 Slides for the course MCFSI

3.1.1 Lecture 1 The Modelling Language Event-B.

3.1.2 Lecture 2 Proof Obligations.

3.1.3 Lecture 3 Checking contracts using Event-B.

3.1.4 Lecture 4 Correctness by Construction with the Modelling Language Event-B using the Refinement.

3.1.5 Lecture 5 Access Control