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

Vignesh Manjunath, Konrad Diwold, Marcel Carsten Baunach

Research output: Contribution to conferenceAbstractpeer-review

Original languageEnglish
Publication statusPublished - 17 Mar 2022
Event2022 GI Fachgruppentreffen Betriebssysteme - Hybrider Event, Germany
Duration: 17 Mar 202218 Mar 2022


Conference2022 GI Fachgruppentreffen Betriebssysteme
CityHybrider Event
Internet address

Fields of Expertise

  • Information, Communication & Computing

Cite this