F20RS - Rigorous Methods for Software Engineering

Course leader(s):

Andrew Ireland (Edinburgh, September)
Muhammad Najib (Edinburgh, September)
Hind Zantout (Dubai, September)

Aims

To provide knowledge and understanding of tools and techniques which support rigorous software engineering

Syllabus

1. High-integrity software development. (1.1 Practical experience of developing high-integrity software using static analysis and formal verification., 1.2 Understanding and application of theoretical aspects of static analysis and formal verification.)

2. Design-level modelling. (2.1 Practical experience of design-level modelling and verification via model checking., 2.2 Understanding and application of theoretical aspects of model checking.)

Learning outcomes

By the end of the course, students should be able to do the following:

use static analysis and formal verification tools in support of software development.
analyse small-scale programming problems using the theoretical foundations of program analysis.
analyse small-scale programming problems using the theoretical foundations of assertion-based program verification.
use simulation and model checking tools in support of design-level modelling.
analyse small-scale design problems using the theoretical foundations of model checking.

Further details

Curriculum explorer: Click here

SCQF Level: 10

Credits: 15