Week 7

Reading

Chapter 3. In particular, you should read the relevant sections in the book on model-checking for CTL (section 3.6.1) and its fixed point characterization (all of section 3.7).

Recommended exercises

3.7 and old exams