Courses / Module

Toggle Print


Module code: CS803
Credits: 5
Semester: 2
International: No
Overview Overview

Covering the development of software with emphasis on rigour and formality. Concepts covered include the foundations for reasoning about software correctness with emphasis on the underlying logics used, state of the art tools, research developments and usage in industry. Topics include Design by Contract; Logics such as Hoare Logic, Temporal Logic and Separation Logic; Specification Languages such as OCL, JML, Eiffel, Dafny or Event-B; as well as verification techniques and tools used for reasoning about program correctness including deductive verification, model checking, refinement and use of SMT solvers.

Open Learning Outcomes
Open Teaching & Learning methods
Open Assessment
Open Repeat options
Open Pre-Requisites
Open Timetable
Back to top Powered by MDAL Framework © 2019
V5.2.0 - Powered by MDAL Framework © 2019