The aim of the course is to provide an overview of the verification and validation techniques that are typically used in software development. The lectures discuss the classic verification and validation methods (review, analysis and testing) as well as the mathematical basics of formal verification techniques (model checking, equivalence checking, and proof of correctness) and model based test case generation. The students will be familiar with the techniques that can be selected for the systematic checking of specification, design, and implementation of software applications, especially during model based development.

In the fall semester of the academic year 2023/24, course material will be available in the Moodle system: https://edu.vik.bme.hu