Logic and Program Verification

Parasara Duggirala (University of Connecticut)

4 Mar, 2pm, LH 302.

This talk will introduce Hoare logic, one of the most (if the the most) influential works in program verification. I will draw parallels between propositional and predicate logic and present a rudimentary way (the way it was done in 1960s) for verifying programs.