Chair of Computer Architecture

University of Freiburg

Teaching

[ summer 2022 | winter 2021/2022 ]


Summer Term 2022

Technische Informatik

SAT Solving

Program verification in Isabelle

Test and Reliability

Pro-Seminar Decision Diagrams


Winter Term 2021/22

Computer Architecture

Verification of Digital Circuits