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

Publikation: Konferenzbeitrag › Abstract › Begutachtung

Originalsprache	englisch
Publikationsstatus	Veröffentlicht - 17 März 2022
Veranstaltung	2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Deutschland Dauer: 17 März 2022 → 18 März 2022 https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Konferenz	2022 GI Fachgruppentreffen Betriebssysteme
Land/Gebiet	Deutschland
Ort	Hybrider Event
Zeitraum	17/03/22 → 18/03/22
Internetadresse	https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Fields of Expertise

@conference{723d89fe5d08405db05a648a12361ad7,

title = "Formal Modeling and Verification of Low-Level OS Code using Abstract Interpretation",

author = "Vignesh Manjunath and Konrad Diwold and Baunach, {Marcel Carsten}",

year = "2022",

month = mar,

day = "17",

language = "English",

note = "2022 GI Fachgruppentreffen Betriebssysteme ; Conference date: 17-03-2022 Through 18-03-2022",

url = "https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/",

}