Basic Compositions of Actions and Their Proof Rules
“Decompose the overall problem into precisely specified subproblems, and prove that if each subproblem is solved correctly and these solutions are fitted together in a specified way then the original problem will be solved correctly. Repeat the process of “decompose and prove correctness of the decomposition” for the subproblems; and keep repeating this process until reaching subproblems so simple that their solution can be expressed in a few lines of a programming language.”
Unable to display preview. Download preview PDF.