Study at Unisa - Module information
Formal Program Verification
Module code: COS4892
NQF level: 8
Credits: 12
Year module
Offered as a part of: Honours degree
Module presented in: English

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.

Close window