Chapter 6
Proof Rules—Basics
Objectives
After reading this chapter, you should understand:
- The importance of Proof Rules (Axiomatic Semantics) in Program Verification
- Assertions and their role
- Proof Rules and their Notation
- How Proof Rules are specified for standard High Level Language constructs
- How to ensure correct Termination of Programs
- Program Transformation: Why and How
- Proof Rules for Procedures and Functions
Chapter Outline
6.2 Computer Model for Program Execution
Get Design and Analysis of Algorithms now with the O’Reilly learning platform.
O’Reilly members experience books, live events, courses curated by job role, and more from O’Reilly and nearly 200 top publishers.