您当前的位置:
首页 >
文章列表页 >
基于程序局部性引导的有界模型检测优化方法
论文Ⅱ:学术论文 | 更新时间:2024-06-05
    • 基于程序局部性引导的有界模型检测优化方法

    • Locality-guided based optimization method for bounded model checker

    • 通信学报   2018年39卷第3期 页码:181-190
    • DOI:10.11959/j.issn.1000-436x.2018050    

      中图分类号: TP311.1
    • 网络出版日期:2018-03

      纸质出版日期:2018-03-25

    移动端阅览

  • 王舜, 杜晔, 韩臻, 等. 基于程序局部性引导的有界模型检测优化方法[J]. 通信学报, 2018,39(3):181-190. DOI: 10.11959/j.issn.1000-436x.2018050.

    Shun WANG, Ye DU, Zhen HAN, et al. Locality-guided based optimization method for bounded model checker[J]. Journal on communications, 2018, 39(3): 181-190. DOI: 10.11959/j.issn.1000-436x.2018050.

  •  
  •  

0

浏览量

1102

下载量

0

CSCD

文章被引用时,请邮件提醒。
提交
工具集
下载
参考文献导出
分享
收藏
添加至我的专辑

相关文章

基于时间自动机的物联网网关安全系统的建模及验证
基于模型检测的服务链信息流安全可组合验证方法
采用遗传算法的低轨区域通信星座优化设计
可信密码模块的模型检测分析
一种基于神经网络的矢量量化零冗余度信道编码方法

相关作者

王国卿
庄雷
王瑞民
宋玉
张坤丽
马建峰
孙聪
卢笛

相关机构

郑州大学信息工程学院
西安电子科技大学 计算机学院
  解放军理工大学通信工程学院 江苏南京210007  
  解放军理工大学通信工程学院  
中国科学院 软件研究所 信息安全国家重点实验室
0