Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation

Publikation: KonferenzbeitragAbstractBegutachtung

Originalspracheenglisch
PublikationsstatusVeröffentlicht - 17 März 2022
Veranstaltung2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Deutschland
Dauer: 17 März 202218 März 2022
https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Konferenz

Konferenz2022 GI Fachgruppentreffen Betriebssysteme
Land/GebietDeutschland
OrtHybrider Event
Zeitraum17/03/2218/03/22
Internetadresse

Fields of Expertise

  • Information, Communication & Computing

Dieses zitieren