Course MCFSI at Telecom Nancy

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

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

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