Skip To Content
    Dashboard
    • Login
    • Dashboard
    • Courses
    • Calendar
    • 0
      Inbox
    • Help
    Close
    • My Dashboard
    • EECS 149/C249A
    • Assignments
    • Homework 6
    Fall 2016
    • Home
    • Assignments
    • Pages
    • Files
    • Syllabus
    • Quizzes
    • Collaborations
    • Course Captures

    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

     

    1479887940 11/22/2016 11:59pm
    Additional Comments:
    Rating max score to > pts

    Rubric

     
     
     
     
     
         
    Can't change a rubric once you've started using it.  
    Find a Rubric
    Find Rubric
    Title
    You've already rated students with this rubric. Any major changes could affect their assessment results.
    Title
    Criteria Ratings Pts
    Edit criterion description Delete criterion row
    This criterion is linked to a Learning Outcome Description of criterion
    view longer description
    threshold: 5 pts
    Edit rating Delete rating
    5 to >0 pts
    Full Marks
    blank
    Edit rating Delete rating
    0 to >0 pts
    No Marks
    blank_2
    This area will be used by the assessor to leave comments related to this criterion.
    pts
      / 5 pts
    --
    Additional Comments
    Total Points: 5 out of 5