CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
基于文本特征提取的软件缺陷自动定位技术研究 学位论文
硕士, 北京: 中国科学院大学, 2020
作者:  朱家佑
收藏  |  浏览/下载：16/0  |  提交时间：2020/06/10
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：19/0  |  提交时间：2014/06/06
Super-dense computation in verification of hybrid CSP processes 会议论文
10th International Symposium on Formal Aspects of Component Software, FACS 2013, Nanchang, China, October 27, 2013 - October 29, 2013
Guelev, Dimitar P. (1); Wang, Shuling (2); Zhan, Naijun (2); Zhou, Chaochen (2)
收藏  |  浏览/下载：14/0  |  提交时间：2014/12/16
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
Symbolic termination analysis of solvable loops 期刊论文
JOURNAL OF SYMBOLIC COMPUTATION, 2013, 卷号: 50, 页码: 28-49
Xu, Ming; Li, Zhi-Bin
收藏  |  浏览/下载：20/0  |  提交时间：2014/12/16
Radl 形式规格说明相对正确性研究 期刊论文
Journal of Software, 2013, 卷号: 24, 期号: 4
Wang Changjing; Xue Jinyun
收藏  |  浏览/下载：13/0  |  提交时间：2013/09/17
assumption generation for asynchronous systems by abstraction refinement 会议论文
9th International Symposium on Formal Aspects of Component Software, FACS 2012, Mountain View, CA, United states, September 12, 2012 - September 14, 2012
Yang Qiusong; Clarke Edmund M.; Komuravelli Anvesh; Li Mingshu
收藏  |  浏览/下载：14/0  |  提交时间：2013/09/22
基于带赋值符号迁移图的Monte Carlo模型检测 学位论文
硕士, 北京: 中国科学院研究生院, 2012
马明
收藏  |  浏览/下载：17/0  |  提交时间：2012/06/13
电子政务软件可靠性评测方法初探 期刊论文
Computer Applications and Software, 2012, 卷号: 29, 期号: 3, 页码: 41037
陈心光; 刘彦斌
收藏  |  浏览/下载：14/0  |  提交时间：2012/11/12

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