电子学报
 首页  |  期刊介绍  |  编 委 会  |  投稿指南  |  期刊订阅  |  综合信息  |  联系我们  |  致谢审稿人 | CJE
电子学报  2020, Vol. 48 Issue (5): 997-1002    DOI: 10.3969/j.issn.0372-2112.2020.05.022
学术论文 最新目录| 下期目录| 过刊浏览| 高级检索 |
基于模块化Abstract-Refine算法框架的软件模型检测方法
王舜, 杜晔, 韩臻
北京交通大学计算机与信息技术学院, 北京 100044
Software Model Checking Method Based on Modular Abstract-Refine Algorithm Framework
WANG Shun, DU Ye, HAN Zhen
School of Computer and Information Technology, Beijing Jiaotong University, Beijing 100044, China

版权所有 © 2012 《电子学报》编辑部
本系统由北京玛格泰克科技发展有限公司设计开发 技术支持:support@magtech.com.cn 
京ICP备12041980号-1