CS/SWE 332 Quiz Guide 5
Fall 2017


Abstraction functions, rep-invariants, and method verification are the focus of Quiz 5. You should be able to informally explain, by referencing relevant verification steps, why a given method is either correct or incorrect.

You should also have read Liskov's chapter 5, particularly section 5.5, carefully. 5.5 is not a long section, but there's a lot of stuff in there.