Software Artifact Accompanying the Article "A Formal Modeling Approach for Portable Low-Level OS Functionality"

This item is shared privately

software

modified on 2021-02-10, 08:33

Model, proofs, and LTL formulae presented in the article "A Formal Modeling Approach for Portable Low-Level OS Functionality", which won best paper award at SEFM2020.

Keywords

Event-B RTOS portability Software Engineering Mathematical Software

Licence

CC BY 4.0

Software Artifact Accompanying the Article "A Formal Modeling Approach for Portable Low-Level OS Functionality"

Categories

Keywords

Licence