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 languageEnglish
Publication statusPublished - 17 Mar 2022
Event2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Germany
Duration: 17 Mar 2022 → 18 Mar 2022
https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Conference

Conference2022 GI Fachgruppentreffen Betriebssysteme
Country/TerritoryGermany
CityHybrider Event
Period17/03/22 → 18/03/22
Internet address

Fields of Expertise

  • Information, Communication & Computing

  • CompEAS-BSW1 - Compositional Embedded Automotive Systems - Basic Software

    Baunach, M. C. (Project manager on research unit), Nagarajan, D. (Attendee / Assistant), Krisper, M. (Consortium manager resp. coordinator with external organisations) & Manjunath, V. (Attendee / Assistant)

    1/11/20 → 31/03/25

    Project: Research project

  • Embedded Operating Systems

    Martins Gomes, R. (Attendee / Assistant), Baunach, M. C. (Project manager on research unit), Scheipel, T. P. (Attendee / Assistant), Malenko, M. (Attendee / Assistant), Batista Ribeiro, L. (Attendee / Assistant) & Mauroner, F. (Attendee / Assistant)

    1/09/15 → 31/12/23

    Project: Research project

  • Embedded Automotive Systems

    Martins Gomes, R. (Attendee), Malenko, M. (Attendee), Kissich, M. (Attendee), Nagarajan, D. (Attendee), Manjunath, V. (Attendee), Scheipel, T. P. (Attendee), Baunach, M. C. (Coordinator), Kanics, K. (Attendee), Saikia, A. (Attendee) & Batista Ribeiro, L. (Attendee)

    1/09/14 → 31/12/24

    Project: Research area

Cite this