Nov 22, 2016 by
a file upload
Reading: Chapters 16 and 17 of
. Lee & Seshia
, Chapter 15 (Reachability Analysis and Model Checking): Exercises 1. Lee & Seshia NOTE: his will require installing and using the SPIN model checker from here. Get started early! Useful slides here.
, Chapter 16 (Quantitative Analysis): Exercises 2 Lee & Seshia
, Chapter17 (Security and Privacy): Exercise 2 Lee & Seshia
Graduate students also do:
, Chapter 16 (Quantitative Analysis): Exercises 3 Lee & Seshia
, Chapter17 (Security and Privacy): Exercise 1 Lee & Seshia
You've already rated students with this rubric. Any major changes could affect their assessment results.
In order to create video or audio recordings your computer needs to be
webcam-enabled. If you don't have a webcam on your computer, you can still
record audio-only messages by first installing the Google Video Chat