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

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