Sicherheitsverifikation | DV Club Zurich
Mi., 17. Juni 2026 um 14:00
ETH Zürich, 130, Binzmühlestrasse, Oerlikon, Kreis 11, Zürich, Bezirk Zürich, Zürich, 8050, Schweiz/Suisse/Svizzera/Svizra
Eintritt frei
Drinnen
Beschreibung
Der DV Club Zurich der ETH Zurich lädt zu einem technischen Vortrag über Sicherheitsverifikation ein, der praktische Ansätze zur Verifikation von Sicherheitseigenschaften in IPs, komplexen SoCs und systemweiten Entwürfen neben der funktionalen Korrektheit beleuchtet. Erfahren Sie in einer universitären Forschungsumgebung von Kollegen und Experten mehr über Verifikationsherausforderungen und -methoden.
Mehr Vortrag in Zurich
Sind Pflanzen intelligent?
Von Sternenstaub zu Planeten
2026 International Junior Scholars Forum in Law and Social Science
Minimalismus: Katalyse durch Peptide und Metaboliten in Zellen — Ronald Raines (MIT)