Software Verification and Validation

Course coordinator

A munkatárs fényképe
deputy head of department, habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Lecturers

A munkatárs fényképe
deputy head of department, habilitated associate professor
Szoba: IB421
Tel.:
+36 1 463-3598
Email: majzik (*) mit * bme * hu

Announcements

Syndicate content

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.

© 2010-2020 BME MIT