Register to study through Unisa

Formal Program Verification - COS4892

Honours Year module NQF level: 8 Credits: 12
Module presented in English Module presented online
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.