Homework 6
- Due Nov 22, 2016 by 11:59pm
- Points 10
- Submitting a file upload
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