SE-561

Formal Methods in Software

Homework Assignment 3 (Due Thursday, November 9)

Textbook, page 247, exercise 3.3: 1 (a), (b), (c).

Note: For (c), please print out the NuSMV screenshot to show that you have run the program.