Description

Here are the lecture notes we used in the class on formal methods and state-based safety analysis. Notice the in-class exercises throughout the notes and the homework exercises at the end of the document. Although we did have time to work on the in-class exercises in small groups, we did not get a chance to discuss them all with the entire class. So, Jon's suggested solutions to these questions are posted here.

Your assignment for next week is to answer the five homework exercises at the end of the notes.

Guidelines

Your solutions are due (on paper) at the beginning of class on August 1. The assignment will be worth 10 points.

As you saw in class, the answers to the exercises we discussed were not long, and the answers to the homework questions should take about the same amount of space. Some might take a little more thought, however.

Questions & Clarifications

As always, I encourage you to write with any questions you may have about the methods this assignment is trying to teach. Most of us have not had much experience with this kind of system analysis, so please feel free to schedule office hours with me if there's something that doesn't make sense just yet.