Homework 6: Hoare Logic

Due Thursday, March 14, at 11:59 PM

Complete the following exercises from Hoare.v (12 points autograded):

Hoare.v: hoare_pre_false (modified as in class), hoare_asgn_wrong (see lecture 3/6 if you’re having trouble thinking of an example), hoare_asgn_examples_2, hoare_asgn_example4, swap_exercise, if_minus_plus

If you are a graduate student, also do hoare_asgn_fwd, if1_ceval, and hoare_if1 (5 points autograded, 2 points manual).