Skip to main content

ModuleInformation

CSC3001

Formal Methods

Course Contents

A rigorous approach to software development.  Logical foundations.  Specification of data types.  Implicit and direct specification of functions and operations.  Reasoning about specifications, refinement, axiomatic semantics.

Supplementary Notes

None

Learning Outcomes

To present a scientific approach to the construction of software systems.

Skills

Precision and conciseness of expression.  Rigour in thought.