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

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
https://www.betriebssysteme.org/aktivitaeten/treffen/2022-hamburg/

Conference

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

Fields of Expertise

  • Information, Communication & Computing

Cite this