When you convince yourself of the program correctness, are you using techniques from the class?

Any advice on reasoning about correctness?