COS4892 - Formal Program Verification

Purpose: To provide an introduction to the design, verification and implementation of a computer program via a formal specification. Verification rules for a number of procedural constructs, namely, the assignment statement, sequential composition, the if-then-else statement, skip and while statements are derived and applied to a wide variety of problems.