CS/SWE 332 Quiz Guide 6
Fall 2018

Verification is the focus of Quiz 6. You should understand the how to determine if a method is correct, especially the role of the abstraction function, the rep-invariant, and the method contract in this process. In class exercises 10 through 12 are good study guides. That is, you should understand the Poly examples, as well as the GrowList and Members examples.