There is a more recent version of this academic item available.

Overview

This course replaces COMP4151, students can not receive credit for both. It is virtually impossible to guarantee the correctness of a system, and in turn the absence of bugs by standard software engineering practice such as code review, systematic testing and good software design alone. The formal methods community has … For more content click the Read More button below.

Conditions for Enrolment

Pre-requisite: COMP9020

Delivery

Fully online - Standard (usually weekly or fortnightly)

In-person - Standard (usually weekly or fortnightly)

Course Outline

To access course outline please visit below link (Please note that access to UNSW Canberra course outlines requires VPN):

Fees

Pre-2019 Handbook Editions

Access past handbook editions (2018 and prior)