COMP2111: System Modelling & Design


February 6, 2012
Home Course OutlineNewsEvent B Rodin Lecture Notes/PodcastsTutorialsAssignments Abrial’s slides
Mark Distributions Wiki Submission

Updated:

Abrial’s Lecture Slides

The following lecture slides have been graciously given by Jean-Raymond Abrial, the chief architect of Classical and Event B. His generosity in permitting us to use these slides is acknowledged.

A Summary of the Event-B Modeling Notation
Summary of Mathematical Notation
Summary of Event-B Proof Obligations
File Transfer Protocol
he Bounded Re-transmission Protocol