Homework 6

Reading: Chapters 16 and 17 of Lee & Seshia.

• Lee & Seshia, Chapter 15 (Reachability Analysis and Model Checking): Exercises 1. NOTE: his will require installing and using the SPIN model checker from here. Get started early! Useful slides here.
• Lee & Seshia, Chapter 16 (Quantitative Analysis): Exercises 2
• Lee & Seshia, Chapter17 (Security and Privacy): Exercise 2

Graduate students also do:

• Lee & Seshia, Chapter 16 (Quantitative Analysis): Exercises 3
• Lee & Seshia, Chapter17 (Security and Privacy): Exercise 1