Three Lectures on Theorem-proving and Program Verification
J. S. Moore · NASA Technical Reports Server (NASA) · 1983
Topics concerning theorem proving and program verification are discussed with particlar emphasis on the Boyer/Moore theorem prover, and approaches to program verification such as the functional and interpreter methods and the inductive assertion approach. A history of the discipline and specific program examples are included.