操作系统形式规约与验证综述

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

操作系统形式规约与验证综述

王梓, 王洪强, 杨晓艺, 兰雨晴

Review of Formal Specification and Verification for Operating Systems

WANG Zi, WANG Hongqiang, YANG Xiaoyi, LAN Yuqing

计算机工程 . 2026, (2): 24 -45 . DOI: 10.19678/j.issn.1000-3428.0069799