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
Topic 02 - Dynamic Systems
- 03 Sep
- 05, 08 Sep
- Temporal operators in Alloy
- 15, 17 Sep
- Family Model as a Transition System
- 22 Sep
- Laboratory: Memory Management
- 24, 29 Sep
- No class
- 01 Oct
- Exam 1