Last week & this week
Last week
- Overview
- Program correctness
- Model-based specifications (Z)
- Intro to state machines
This week
- Analysis of state machine based specifications (model checking)
- Michael Jackson on video: “The World and the Machine”
- Some wrap up