|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程|汇编级顺序语句块的自动形式化规约及其验证

汇编级顺序语句块的自动形式化规约及其验证

祁龙云 吕小亮 路红 黄皓

计算机工程2019，Vol.45Issue(10)：64-69,77,7.
✕
计算机工程2019，Vol.45Issue(10)：64-69,77,7.DOI:10.19678/j.issn.1000-3428.0053152

汇编级顺序语句块的自动形式化规约及其验证

Automatic Formal Specification and Its Verification of Assembly-Level Sequential Statement Blocks

祁龙云 1吕小亮 1路红 2黄皓2

作者信息

  • 1. 南京南瑞信息通信科技有限公司,南京210003
  • 2. 南京大学计算机软件新技术国家重点实验室,南京210023
  • 折叠

摘要

关键词

自动形式化规约/自动化验证/定理证明器/交互式定理/形式化验证

分类

信息技术与安全科学

引用本文复制引用

祁龙云,吕小亮,路红,黄皓..汇编级顺序语句块的自动形式化规约及其验证[J].计算机工程,2019,45(10):64-69,77,7.

基金项目

国家电网公司2018年总部科技项目“可信嵌入式操作系统关键技术研究”(SGJSNT00FZJS1800129). （SGJSNT00FZJS1800129）

计算机工程

OA北大核心CSCDCSTPCD

1000-3428

访问量7
|
下载量0
段落导航相关论文