CORC

在结果中检索

CORC

浏览/检索结果: 共14条，第1-10条 帮助

已选(0)清除 条数/页：   排序方式：
Software-Based Self-Testing Using Bounded Model Checking for Out-of-Order Superscalar Processors 期刊论文
IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2020, 卷号: 39, 期号: 3, 页码: 714-727
作者:  Zhang, Ying;  Chakrabarty, Krishnendu;  Peng, Zebo;  Rezine, Ahmed;  Li, Huawei
收藏  |  浏览/下载：16/0  |  提交时间：2020/12/10
Formal verification of a descent guidance control program of a lunar lander 会议论文
19th International Symposium on Formal Methods, FM 2014, Singapore, Singapore, May 12, 2014 - May 16, 2014
Zhao, Hengjun (1); Yang, Mengfei (2); Zhan, Naijun (1); Gu, Bin (3); Zou, Liang (1); Chen, Yao (3)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
有界模型检测和串空间模型相结合的安全协议验证 期刊论文
小型微型计算机系统, 2010
杨晋吉; 苏开乐; 肖茵茵; 李超明
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/12
基于Yices对时间自动机的有界模型检测 期刊论文
计算机工程与设计, 2010, 卷号: 31, 期号: 1, 页码: 126-129
王晓亮
收藏  |  浏览/下载：27/0  |  提交时间：2011/05/23
改进的以SMT为基础的实时系统限界模型检测 期刊论文
软件学报, 2010, 卷号: 21, 期号: 7, 页码: 1491-1502
徐亮
收藏  |  浏览/下载：15/0  |  提交时间：2011/05/23
有界模型检测的优化 期刊论文
软件学报, 2009
杨晋吉; 苏开乐; 骆翔宇; 林瀚; 肖茵茵
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/12
Optimization of bounded model checking 期刊论文
ruan jian xue baojournal of software, 2009
Yang, Jin-Ji; Su, Kai-Le; Luo, Xiang-Yu; Lin, Han; Xiao, Yin-Yin
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/16
improved bounded model checking for the universal fragment of ctl 期刊论文
JOURNAL OF COMPUTER SCIENCE AND TECHNOLOGY, 2009, 卷号: 24, 期号: 1, 页码: 96-109
Xu Liang; Chen Wei; Xu Yan-Yan; Zhang Wen-Hui
收藏  |  浏览/下载：9/0  |  提交时间：2011/03/18
Improving encoding efficiency for Bounded Model Checking 其他
2008-01-01
Yang, Jinji; Su, Kaile; Chen, Qingliang
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/16
变量极小不可满足在模型检测中的应用 期刊论文
软件学报, 2008
陈振宇; 陶志红; 王立福; KLEINE B(U)NING Hans
收藏  |  浏览/下载：2/0  |  提交时间：2015/11/12

©版权所有 ©2017 CSpace - Powered by CSpace