Lectures:
Check vision for the lecture slides, handouts, lab exercises, tutorials, and solutions.
Links to additional material will be added here as the module progresses.
- Introduction to model checking and verification.
Assignment:
Out week 6; due week 10.