Hang Lei

Formal Verification of GP Specification based Embedded Operating System

2018 · Proceedings of the 2nd International Conference on Computer Science and Application Engineering

Global Platform (GP)1 specifications accepted as de facto industry standards are widely used for the development of embedded operating system running on secure chip devices. A promising approach to demonstrating the implementation of an OS …