Trustworthy Tuesday - November
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Dieses Mal spricht Wolfgang Kunz über Formale Hardwareverifikation.
Beschreibung
Trustworthy Tuesday ist eine kompakte Webinarreihe in der Mittagszeit, das spannende Einblicke in das Feld vertrauenswürdige IT-Systeme und formale Verifikation vermittelt. Mit Input-Vorträgen von 15-20min. laden wir die Teilnehmenden zu einer anschließenden Diskussion und einer Runde Fachfragen ein, um aktuelle Entwicklungen, Best Practices und praktische Ansätze zu beleuchten.
Die Reihe richtet sich sowohl an Studierende als auch an Interessierte, die einen Einblick zu formalen Methoden und vertrauenswürdiger IT bekommen wollen – ohne ein komplettes Seminar zu belegen. Das kompakte Format eignet sich als „Wissens-Snack“ in der Mittagspause.
Dieses Mal spricht Wolfgang Kunz in seinem Vortrag „Desiging correct and secure chips: how can formal methods help?“ über formale Hardwareverifikation.