Example
l
Construct, and prove correct, a searching program.
l
The need to prove that a program is correct can
have beneficial effects on the structure of the
program:
l
You need to be able to explain (in logic) what all the
pieces do.