一种面向嵌入式操作系统的形式化验证方法
王阳, 方竟成, 蔡雄, 张志鹏, 蔡喁, 缪炜恺
A formal verification method for embedded operating systems
Yang WANG, Jingcheng FANG, Xiong CAI, Zhipeng ZHANG, Yong CAI, Weikai MIAO
华东师范大学学报（自然科学版） . 2024, (4): 1 -17 .  DOI: 10.3969/j.issn.1000-5641.2024.04.001