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.

After completing the course, students will have a general understanding of the whole verification process, and know which techniques are recommended for the different phases. They can identify the various static verification technique, and can review specifications and designs, and apply static analysis tools on source code. They can list the different levels and methods of software testing, and can use specification and structure based test design techniques. They know the techniques for verifying extra-functional properties (e.g. modeling and analyzing dependability). They can describe the techniques for runtime verification.