Formal Verification of GP Specification based Embedded Operating System

Haiyong Sun, Hang Lei, Lei Qiao, Zheng Yang 0007. Formal Verification of GP Specification based Embedded Operating System. In Ali Emrouznejad, Zhihong Qian, editors, The 2nd International Conference on Computer Science and Application Engineering, CSAE 2018, Hohhot, China, October 22-24, 2018. ACM, 2018. [doi]

Abstract

Abstract is missing.