| Lecture | Date | Topics | Covered |
|---|
| 1 | 1 Mar | Introduction to B, Brief Introduction to the B-Tool | 1-48 |
| 2 | 3 Mar | Set Theory, revision of relevant concepts | 1-54 |
| | 8 Mar | Assignment 1 Available |
| 3 | 8 Mar | Abstract Machines | 1-63 |
| 4 | 10 Mar | Demonstration of the BToolkit, CoffeeClub0, CoffeeClub1, CoffeeClub2 | 1-38 |
| 5 | 15 Mar | Modelling, Taking specification through to implementation | 1-114 |
| 6 | 17 Mar | Formal Definitions of Relations, Functions and Sequences | 1-63 |
| 7 | 22 Mar | Library Case Study, Making specifications robust | 1-151 |
| 8 | 24 Mar | Predicate Logic and Substitutions | 1-52 |
| - | 29 Mar | Mid-semester break: No lectures this week | |
| - | 31 Mar | Mid-semester break: No lectures this week | |
| 9 | 5 Apr | Discharging Proof Obligations | 1-20 |
| | 5 Apr | Assignment 2 Available |
| | 6 Apr | Assignment 1 Due! |
| 10 | 7 Apr | Discharging Proof Obligations | 21-33 |
| 11 | 12 Apr | Preconditions and Guards , Specifying a Simple File System | 1-60, 1-18 |
| 12 | 14 Apr | Specifying a Simple File System | 19-87 |
| | 17 Apr | Assignment 3 Available |
| 13 | 19 Apr | Traffic Lights | 1-103 |
| 14 | 21 Apr | Generalised Substitutions | 1-139 |
| 15 | 26 Apr | Generalised Substitutions | 140-177 |
| | 27 Apr | Assignment 2 Due! |
| 16 | 28 Apr | Structuring Specifications | 1-75 |
| 17 | 3 May | Machine Composition | 1-27 |
| 18 | 5 May | lecture cancelled | |
| 19 | 10 May | Structuring Specifications | 76-131 |
| 20 | 12 May | Refinement | 1-50 |
| 21 | 17 May | Guest lecture by Prof Heinz Schmidt | |
| 22 | 19 May | Beyond Specification | 1-55 |
| 23 | 24 May | Data Design, Loop Correctness | 1-21, 1-20 |
| | 25 May | Assignment 3 Due! |
| 24 | 26 May | revision | |
| 25 | 31 May | lecture cancelled | |
| 26 | 2 Jun | lecture cancelled | |
