Debugging & Verifying Programs — CS 340d