Lectures of Jean-Raymond Abrial on B, Event-B, Rodin (vidéos)

Lecture 1

 https://www.youtube.com/watch?v=2GP1pJINVT4

Lecture 2

https://www.youtube.com/watch?v=M8nvVaZ74wA

Lecture 3

https://www.youtube.com/watch?v=Y5OUtq8cdV8 

Mini-course around Event-B and Rodin

Developping sequential programs


https://www.youtube.com/watch?v=C0tpgPOKAyg

This lecture gives a status report of the hypervisor we are developing using Event-B.

https://www.youtube.com/watch?v=i-GKHZAWWjU