CS 267 Homeworks

CS 267 Homeworks

Homeworks should be treated as take home exams. You are not allowed to discuss the homework problems with anyone other than the instructor.

Homework 1
Homework 2
HW2 deadline is extended: HW2 is due Friday, February 21st, 5:00pm
Tools for Homework 2: The following tools are installed (you are welcome to download and install them to your machines too):
- Symbolic Model Verifier (SMV). You can run it by typing ~bultan/bin/267/smv. Here is the SMV manual. And you can find some example specifications here.
  You can also use NuSMV which is available here.
- SPIN, SPIN manual You can run it by typing ~bultan/bin/267/spin. The documentation and examples are available here
You can get additional information about these tools by following the links above.
Homework 3
HW3 deadline is extended: HW3 is due Friday, March 7th, 5:00pm