CS/SWE 332 Quiz Guide 5
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.