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

Vignesh Manjunath, Konrad Diwold, Marcel Carsten Baunach

Research output: Contribution to conference › Abstract › peer-review

Original language	English
Publication status	Published - 17 Mar 2022
Event	2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Germany Duration: 17 Mar 2022 → 18 Mar 2022 https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Conference	2022 GI Fachgruppentreffen Betriebssysteme
Country/Territory	Germany
City	Hybrider Event
Period	17/03/22 → 18/03/22
Internet address	https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Fields of Expertise

CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software
Baunach, M. C., Manjunath, V., Nagarajan, D. & Krisper, M.
1/11/20 → 31/03/25
Project: Research project
Embedded Automotive Systems
Baunach, M. C., Batista Ribeiro, L., Martins Gomes, R., Malenko, M., Scheipel, T. P., Saikia, A., Nagarajan, D., Manjunath, V., Kissich, M. & Kanics, K.
1/09/14 → …
Project: Research area
Embedded Operating Systems
Baunach, M. C., Martins Gomes, R., Batista Ribeiro, L., Malenko, M., Mauroner, F. & Scheipel, T. P.
1/09/15 → 31/12/23
Project: Research project

@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/",

}