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. This year’s topic is reactive synthesis.

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


Number Date Lecturer Topic Slides Videos
1 2020-03-10 Roderick Bloem Introduction slides intro
2 2020-03-17 Vedad Hadzic Introduction SMT (Z3) Introduction-to-SMT-with-Z3.pdf Video Intro SMT
3 2020-03-24 Bettina Könighofer Bounded Synthesis, safety only slides_bounded_synthesis_safety Video Bounded Synthesis Safety
4 2020-03-31 Masoud Ebrahimi LTL Lecture Part1Part2
5 2020-04-21 Bettina Könighofer SMT – Theory
6 2020-04-28 All SCOS members Presentations Exercise 1 by Students
7 2020-05-05 Benedikt Marderbacher Omega Autmomata
8 2020-05-12 Benedikt Marderbacher Bounded Synthesis
9 2020-05-19 Bettina Könighofer Synthesis via Games, Games 1
10 2020-05-26 Bettina Könighofer Synthesis via Games, Games 2
11 2020-06-09 Roderick Bloem Relation Determinization
12 2020-06-16 All SCoS Members Research
13 2020-06-23 All SCoS Members Presentations Exercise 2 by Students

Material

You find here the homework for the course.

Number Due Date Topic Slides
1 2020-03-30 Bounded Synthesis for Safety Specs Homework 1
2 2020-04-07 Linear Temporal Logic Homework 2

 

 

Administrative Information

All administrative information will be given in the first lecture. Please see the slides of lecture 1.

Lecture Dates

Date Begin End Location Event Type Comment
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