Handout for the Program Verification from Vasek Chvatal. Chvatal wrote this note for his CS205 lecture in Fall 1999. It is very detailed, but fairly formal. But it might provide a few additional insights. Extra Problems for Lecture 11 and 12 available in postscript and in pdf .
Homework Assignments are roughly biweekly.
They can be solved in fixed study groups of up to three students. The assignments will be posted as pdf-files. You need the adobe acrobat reader to download them. It is available for free at adobes webpage . Supplement to Homework 1 has been posted.