《表2 状态转移的代码实现》
抽象模型中的状态转移关系δ表示了抽象模型执行汇编语句前后状态变化.在第2.2节中给出了内核汇编代码中所涉及到的7种状态转移关系.这7种状态转移关系的实现见表2中.
图表编号 | XD00168929500 严禁用于非法目的 |
---|---|
绘制时间 | 2020.05.01 |
作者 | 郭建、丁继政、朱晓冉 |
绘制单位 | 华东师范大学软件工程学院、软硬件协同设计技术与应用教育部工程研究中心(华东师范大学)、软硬件协同设计技术与应用教育部工程研究中心(华东师范大学)、上海市高可信计算重点实验室(华东师范大学) |
更多格式 | 高清、无水印(增值服务) |