1 Documentation and Tools
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
3 Course MCFSI at Telecom Nancy
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
3.2 Tutorials
3.3 Project
3.4 Event-B Models
3.4.1 Event-B Archives for the lectures
3.4.2 Event-B Archives for the tutorial 1
3.4.3 Event-B Archives for the tutorial 2
3.4.4 Event-B Archives for the tutorial 3
3.4.5 Event-B Archives for the tutorial 4
3.4.6 Event-B Archives
3.5 Past exams of the course MCFSI
4 Course MsC in Computer Science: Modelling and verifying software-based systems for Master in Compurer Science of the University of Lorraine
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
4.2 Tutorials
4.3 Event-B Models
4.3.1 Event-B Archives for the lectures
4.3.2 Event-B Archives for the tutorial 1
4.3.3 Event-B Archives for the tutorial 2
4.3.4 Event-B Archives for the tutorial 3
4.4 Project
4.5 Past exams of the Course MsC in Computer Science: Modelling and verifying software-based systems for Master in Comp
5 Course DISCONT: Modelling hybrid systems
5.1 Documentation
5.2 Slides for the course 2020-2021
5.3 Slides for the course 2021-2022