VVZ API is not affiliated with ETH Zurich. Data might be outdated or incorrect. Please view the official ETHZ Vorlesungsverzeichnis for binding information.

252-3126-00L 2 Credits BSC , MSC D-INFK

Seminar on Machine-Checked Correctness Proofs for Systems

Lecturers & Examiners: Dr. Samuel Grütter
The deadline for deregistering expires at the end of the second week of the semester. Students who are still registered after that date, but do not attend the seminar, will officially fail the seminar.
VVZ CR n/a

Last Updated: 2026-06-01 11:33:38

Abstract

We will read and discuss papers at the intersection of formal verification and systems.

Objective

The learning objective of this seminar is to be able to read, understand, and think critically about papers that apply formal methods to systems research, and to understand what it actually means when a paper claims "we have proved X".

Content

We will form teams of two students, and each team will present two papers and lead the discussion of their papers.

Resources

Literature

A list of papers to be announced on the webpage of the seminar.

Learning Materials (Links)

General Information

Language
English
Levels
BSC , MSC

Examination

Type
graded semester performance

Registration & Places

Max Places
22
Priority: Registration for the course unit is only possible for the primary target group

Course Components

Type Title Time & Place Hours
seminar Seminar on Machine-Checked Correctness Proofs for Systems
  • Mon 16:15-18:00 (CAB G 56)
2 h weekly

Offered In