汇编语言层的系统状态模型构建

• 作者: 江霖
• 来源期刊: 通讯世界
• 学科: 工学
• 关键词: 操作系统 验证 形式化 系统状态建模 汇编语言层
• 年，卷（期）: 2017,（5）
• 所属期刊栏目: 论述
• 页码范围: 285
• 页数: 1页
• 分类号: TP391.6
• 字数: 1261字
• 语种: 中文

摘要

操作系统具有规模大、结构复杂的特点,所以设计以及实现过程中的正确性验证难度较大.本文通过汇编语言层的操作系统模块功能模型构建,完成汇编语言层的设计以及验证,实现对汇编语言层设计的正确性验证.以安全可信操作系统为范例,进行了形式化验证.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	江霖		2	1	1.0	1.0