| 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. | |||