A Formal Modeling Approach for Portable Low-Level OS Functionality

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Original languageEnglish
Title of host publicationSEFM2020
Publication statusAccepted/In press - Sep 2020
Event18th International Conference on Software Engineering and Formal Methods - Virtuell
Duration: 14 Sep 202018 Sep 2020

Conference

Conference18th International Conference on Software Engineering and Formal Methods
Abbreviated titleSEFM 2020
CityVirtuell
Period14/09/2018/09/20

Keywords

  • Verification
  • Refinement
  • Portability
  • RTOS
  • Event-B

Fields of Expertise

  • Information, Communication & Computing

Cite this