Formal Methods

Overview

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.

Learning Objectives

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

Skills

Precision and conciseness of expression. Rigour in thought.

Assessment

An overall mark of at least 40% is required to pass the module.