Selected Topics Design and Verification

Course Number 705070 | Sommersemester 2020

Content

In this course, you will learn about cutting edge advancements in the field of Design and Verification of software and hardware systems from a formal perspective. Typically, we start by presenting the preliminaries on formal languages and formal methods. Having covered basic concepts on formal methods and advancements in automata theory, we study how these concepts are applied to design and verification of hardware and software systems.

We update the content of this course on an annual basis; e.g., last year’s topic was recent advancements and applications of Model Checking. We have covered some of interesting chapters from the “Handbook of Model Checking” [0].

[0] Edmund M. Clarke, Thomas A. Henzinger, Helmut Veith, Roderick Bloem: Handbook of Model Checking. Springer 2018, ISBN 978-3-319-10574-1 https://dblp.org/db/reference/mc/mc2018

The lecture notes are available as PDF documents and show one slide per page.


Number Lecturer Chapter Slides
1 Roderick Bloem Introduction https://teaching.iaik.tugraz.at/_media/stdv/20190308-akdv-intro.pdf
2 Masoud Ebrahimi 2+4: Temporal Logic + Automata Theory https://teaching.iaik.tugraz.at/_media/stdv/02_ltl.pdf
3 Anja Karl + Vedad Hadzic 16: MC and Data Flow Analysis https://teaching.iaik.tugraz.at/_media/stdv/data_flow_1.pdf
4 Anja Karl + Vedad Hadzic 16: MC and Data Flow Analysis https://teaching.iaik.tugraz.at/_media/stdv/configurable_program_analysis.pdf
5 Anja Karl + Vedad Hadzic 18: MC Concurrent Porgrams https://teaching.iaik.tugraz.at/_media/stdv/model_checking_concurent_programs.pdf
6 Bettina Könighofer 27: Synthesis https://teaching.iaik.tugraz.at/_media/stdv/akdv19_games.pdf
7 Bettina Könighofer 27: Synthesis https://teaching.iaik.tugraz.at/_media/stdv/05_relation_determinization.pdf
8 Masoud Ebrahimi 19: MC and Testing https://teaching.iaik.tugraz.at/_media/stdv/06_mc_testing.pdf
9 Masoud Ebrahimi 19: MC and Testing https://teaching.iaik.tugraz.at/_media/stdv/07_mc_testing.pdf
10 Rinat Iusupov 22: Security Protocols https://teaching.iaik.tugraz.at/_media/stdv/akdv2019-security-1.pdf
11 Rinat Iusupov 22: Security Protocols https://teaching.iaik.tugraz.at/_media/stdv/akdv2019-security-2.pdf
12 Anja Karl + Vedad Hadzic 18: MC Concurrent Porgrams https://teaching.iaik.tugraz.at/_media/stdv/akdv2019_concurrent_ii.pdf
13 All SCoS Members Research https://teaching.iaik.tugraz.at/_media/stdv/akdv2019-side-channels.pdf
13 All SCoS Members Research https://teaching.iaik.tugraz.at/_media/stdv/vmcai_error_masking_final.pdf

Material

You can download security protocols from https://teaching.iaik.tugraz.at/_media/stdv/protocols.zip

Administrative Information

Exams. The practicals are mostly theoretical assignments handed over after each lecture to individuals. Each submission of deliverables is graded separately.

Lecture Dates

Date Begin End Location Event Type Comment
2020/03/06 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/03/13 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/03/20 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/03/27 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/04/03 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/04/24 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/05/08 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/05/08 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/05/15 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/05/29 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/06/05 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/06/12 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/06/19 10:00 12:00 Seminarraum Abhaltung VO fix/
2020/06/26 10:00 12:00 Seminarraum Abhaltung VO fix/

Lecturers

Roderick Bloem
Roderick
Bloem

Professor

View more