The primary objective of the text is to provide a self-contained treatment of the methods used to prove the correctness and termination of computer programs. Manna focuses on several critical aspects of sequential program verification:
: Addresses both partial correctness (does the program produce the right result if it halts?) and total correctness (will the program eventually halt?). The primary objective of the text is to
: Application of logical principles to verify both flowchart-based and ALGOL-like programs. The primary objective of the text is to
The original 1974 McGraw-Hill edition is a collector's item, but the text remains accessible through the Dover Publications edition . A digital copy for research purposes can also be found on the Internet Archive . Mathematical theory of computation : Manna, Zohar The primary objective of the text is to