2.1 Slides for the course EMU

2.1.1 Lecture 1 The Modelling Language Event-B.

2.1.2 Lecture 2 Proof Obligations.

2.1.3 Lecture 3 Checking contracts using Event-B.

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

2.1.5 Tutorial 1 and 2 Tutorial Notes.

2.1.6 Lecture 5 Access Control