CORC

在结果中检索

CORC

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

限定条件                
已选(0)清除 条数/页：   排序方式：
Trace Abstraction Refinement for Solving Horn Clauses 期刊论文
COMPUTER JOURNAL, 2016, 卷号: 59, 期号: 8, 页码: 1236-1251
Wang, WF; Jiao, L
收藏  |  浏览/下载：17/0  |  提交时间：2016/12/09
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
A vertex centric parallel algorithm for linear temporal logic model checking in Pregel 期刊论文
Journal of Parallel and Distributed Computing, 2014, 卷号: 74, 期号: 11, 页码: 3161-3174
Xie, Miao (1); Yang, Qiusong (1); Zhai, Jian (1); Wang, Qing (1)
收藏  |  浏览/下载：16/0  |  提交时间：2014/12/16
Compensation by design 期刊论文
Formal Aspects of Computing, 2014, 卷号: 26, 期号: 4, 页码: 623-676
Liu, Xi (1); Yang, Shaofa (2); Sanders, J.W. (3)
收藏  |  浏览/下载：10/0  |  提交时间：2014/12/16
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
QBF encoding of temporal properties and QBF-based verification 会议论文
7th International Joint Conference on Automated Reasoning, IJCAR 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 19, 2014 - July 22, 2014
Zhang, Wenhui (1)
收藏  |  浏览/下载：15/0  |  提交时间：2014/12/16
Probably safe or live 会议论文
Joint Meeting of the 23rd Annual EACSL Conference on Computer Science Logic, CSL 2014 and the 29th Annual ACM/ IEEE Symposium on Logic in Computer Science, LICS 2014, Vienna, Austria, July 14, 2014 - July 18, 2014
Katoen, Joost-Pieter (1); Song, Lei (2); Zhang, Lijun (3)
收藏  |  浏览/下载：24/0  |  提交时间：2014/12/16
面向离散事件仿真系统的分布式计算框架建模 学位论文
硕士, 北京: 中国科学院研究生院, 2013
王章虎
收藏  |  浏览/下载：25/0  |  提交时间：2013/05/28
model checking conditional csl for continuous-time markov chains 期刊论文
Information Processing Letters, 2013, 卷号: 113, 期号: 1-2, 页码: 44-50
Gao Yang; Xu Ming; Zhan Naijun; Zhang Lijun
收藏  |  浏览/下载：16/0  |  提交时间：2013/09/17
基于扩展 LS2的可信虚拟平台信任链分析 期刊论文
通信学报, 2013, 卷号: 34, 期号: 5, 页码: 31-41
常德显; 冯登国; 秦宇; 张倩颖
收藏  |  浏览/下载：19/0  |  提交时间：2014/12/16

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