Verification and Testing

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

standard lectures

How to get a grade

written examination

Registration

https://online.tugraz.at/tug_online/sa.gruppen_einteilung?clvnr=226492&corg=983

Lecture Dates

Date	Begin	End	Location	Type	Comment
2019/10/17	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/10	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/24	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/24	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/31	16:00	18:00	HS i1	Abhaltung	fix/
2019/11/07	16:00	18:00	HS i1	Abhaltung	fix/
2019/11/14	16:00	18:00	HS i1	Abhaltung	fix/
2019/11/21	16:00	18:00	HS i1	Abhaltung	fix/
2019/12/05	16:00	18:00	HS i1	Abhaltung	fix/
2019/12/12	16:00	18:00	HS i1	Abhaltung	fix/
2020/01/09	16:00	18:00	HS i1	Abhaltung	fix/
2020/01/16	16:00	18:00	HS i1	Abhaltung	fix/
2020/01/23	16:00	18:00	HS i1	Abhaltung	fix/
2020/01/30	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/03	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/10	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/17	16:00	18:00	HS i1	Abhaltung	fix/
2019/10/17	16:00	18:00	HS i1	Abhaltung	fix/

Exams

Course	Date	Begin	End	Slots	Location
Lehrveranstaltungsprüfung	2019/09/30	09:00	11:00	12/36
Lehrveranstaltungsprüfung	2020/01/30	16:00	18:00	0/95

Warning: count(): Parameter must be an array or an object that implements Countable in /www/htdocs/w019a0d8/iaik.stefan-kremsner.at/wp-content/themes/iaik-git/iaik-theme/includes/single-course.php on line 196

Lecturers & Student Assistants