Ye Tian, Xinfeng Shu. Formal Verifying Kernel Abstract Layer of HarmonyOS with Projection Temporal Logic. In 6th International Conference on Artificial Intelligence and Pattern Recognition, AIPR 2023, Xiamen, China, September 22-24, 2023. pages 1231-1236, ACM, 2023. [doi]
Abstract is missing.