Verification and Testing (WS 2022/23)

Course Number 705040 and 705041 | Wintersemester 2022/23

Content

In this course we will discuss recent research in testing and verification of hardware and software. We will discuss advanced techniques such as model checking and delta debugging. SUch techniques are not yet in common use in industry, but that will change. The course will have a formal/theoretical slant.

Administrative Information

Previous Knowledge

inscription in the master`s program

Prerequisites Curriculum

See position in the curriculum

Objective

Knowledge of the state of the art in research in formal verification and testing.

Language

English

Teaching Method

Interactive lectures either online or in the lecture hall

How to get a grade

written examination

Registration

https://online.tugraz.at/tug_online/ee/rest/pages/slc.tm.cp/course-registration/337444

Lecture Dates

Date Begin End Location Event Type Comment
2022/10/06 16:00 18:00 HS i1 Abhaltung VO fix/
2022/10/13 16:00 18:00 HS i1 Abhaltung VO fix/
2022/10/13 17:30 18:30 HS i1 Abhaltung UE fix/
2022/10/20 16:00 18:00 HS i1 Abhaltung VO fix/
2022/10/20 17:30 18:30 HS i1 Abhaltung UE fix/
2022/10/20 17:30 18:30 HS i1 Abhaltung UE fix/The question hour will be held in our discord server (https://discord.gg/DCpzjqWBD3).
2022/10/24 16:00 17:00 External Location (please check TUGRAZonline) Abhaltung UE fix/The question hour will be held in our discord server (https://discord.gg/DCpzjqWBD3).
2022/10/27 16:00 18:00 HS i1 Abhaltung VO fix/
2022/10/27 17:30 18:30 HS i1 Abhaltung UE fix/
2022/11/03 16:00 18:00 HS i1 Abhaltung VO fix/
2022/11/03 17:30 18:30 HS i1 Abhaltung UE fix/
2022/11/10 16:00 18:00 HS i1 Abhaltung VO fix/
2022/11/10 17:30 18:30 HS i1 Abhaltung UE fix/
2022/11/14 16:00 17:00 Seminarraum Abhaltung UE fix/
2022/11/17 16:00 18:00 HS i1 Abhaltung VO fix/
2022/11/17 17:30 18:30 HS i1 Abhaltung UE fix/
2022/11/17 17:30 18:30 HS i11 "SIEMENS Hörsaal" Abhaltung UE fix/
2022/11/24 16:00 18:00 HS i1 Abhaltung VO fix/
2022/11/24 16:00 18:00 HS i1 Abhaltung VO fix/
2022/11/24 17:30 18:30 HS i1 Abhaltung UE fix/
2022/12/01 16:00 18:00 HS i1 Abhaltung VO fix/
2022/12/01 17:30 18:30 HS i1 Abhaltung UE fix/
2022/12/12 16:00 17:00 Seminarraum Abhaltung UE fix/
2022/12/15 16:00 18:00 HS i1 Abhaltung VO fix/
2022/12/15 17:30 18:30 HS i1 Abhaltung UE fix/
2023/01/12 16:00 18:00 HS i1 Abhaltung VO fix/
2023/01/12 17:30 18:30 HS i1 Abhaltung UE fix/
2023/01/16 16:00 17:00 Seminarraum Abhaltung UE fix/
2023/01/19 16:00 18:00 HS i1 Abhaltung VO fix/
2023/01/19 17:30 18:30 HS i1 Abhaltung UE fix/
2023/01/26 16:00 18:00 HS i1 Abhaltung VO fix/
2023/01/26 17:30 18:30 HS i1 Abhaltung UE fix/

Lecturers

Roderick Bloem
Roderick
Bloem

Professor

View more
Benedikt Maderbacher
Benedikt
Maderbacher

PhD Student

View more