The general idea is that you develop the algorithm and the proof of correctness for the algorithm at the same time. The two views are duals in a certain sense,

The general idea is that you develop the algorithm and the proof of correctness for the algorithm at the same time. The two views are duals in a certain sense, and each gives you insight about the other.