Software Verification and Validation
Alapadatok
Course coordinator
habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
Lecturers
habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598 Email: majzik (*) mit * bme * hu |
Announcements
Introduction
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