Software and Systems Verification

Overview

The objective of the course is to present the different verification techniques that can be used throughout the full software and systems development lifecycle. Nowadays such techniques are used not only in critical systems (where their usage are usually mandated by standards), but quality is a requirement for every system.

Learning outcomes

After completing the course, students will be able to

describe the typical steps in the verification process, and classify which techniques are recommended for the different phases;