Course MsC in Computer Science: Modelling and verifying software-based systems for Master in Compurer Science of the University of Lorraine

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

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

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