Lectures
This page gives highlights of past lectures and provides lecture notes, reading assignments, and exercises.
Topic 01 - Introduction to Alloy
- 14 Aug
- Course introduction
- Who am I,
- Grading
- Formal Methods overview
- Slides
- Set theory recap
- Slides,
- Old recorded lecture
- 12, 21 Aug
- 25, 27 Aug
- 01 Sep