Homework 8 - Verification and Analysis

Due 11/19/21 at 11am

Instructions

Submit these in slide format (ppt, pptx, or pdf) with each section on a different slide. Please do not put your name on the PDF, so that we can anonymize grading in Canvas. Number the questions/question parts. Questions in blue are optional/questions for you to think about to yourself.

You are graded on good-faith effort, not correctness. This means that you should attempt to answer every question, and if you did not reach an answer, you should describe your process and where you got stuck.

Invariants and Temporal Logic

Read Lee/Seshia, Chapter 13

1. Post any questions you have on Ed

2. (14 pts) Do Lee/Seshia Chapter 13, exercise 2. Just like the previous homework, if you get stuck or confused, make a note of it on the homework and you will get full credit. I will be looking through the homework before class to see how much math we need to review before proceeding with the rest of the lecture.