Lectures
This page gives highlights of past lectures and provides lecture notes, reading assignments, and exercises.
Topic 01 - Introduction to Alloy
- 21 Aug
- Course introduction
- Who am I,
- Grading
- Formal Methods overview
- Slides
- Set theory recap
- Slides,
- Old recorded lecture
- 23, 28 Aug
- 30 Aug, 04 Sep
- 06 Sep
Topic 02 - Dynamic Systems
- 11 Sep
- 13 Oct
- Laboratory: Memory Management
- 18, 20 Sep
- Temporal operators in Alloy
- 25, 27 Sep
- Family Model as a Transition System
- 02 Oct
- Exam 1
Topic 03 - Constraint solving for Alloy
- 9 Oct
- 11 Oct
- 16 Oct
- 18 Oct
- Encoding Alloy into SMT
- 23 Oct
- Laboratory: SAT and SMT solving (async)