Course EMU Event-B at Maynooth University

[next] [prev] [prev-tail] [tail] [up]

2 Course EMU Event-B at Maynooth University

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
2.2 Tutorials
2.3 Event-B Models
2.3.1 Event-B Archives for the lectures
2.3.2 Event-B Archives for the tutorials

[next] [prev] [prev-tail] [front] [up]