CORC

在结果中检索

CORC

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

已选(0)清除 条数/页：   排序方式：
The M-computations induced by accessibility relations in nonstandard models M of Hoare logic 期刊论文
FRONTIERS OF COMPUTER SCIENCE, 2016, 卷号: 10, 期号: 4, 页码: 717-725
作者:  Cao, Cungen;  Sui, Yuefei;  Zhang, Zaiyue
收藏  |  浏览/下载：16/0  |  提交时间：2019/12/13
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
作者:  Xu, Zhaowei;  Sui, Yuefei;  Zhang, Wenhui
收藏  |  浏览/下载：20/0  |  提交时间：2019/12/13
Completeness of Hoare logic with inputs over the standard model 期刊论文
THEORETICAL COMPUTER SCIENCE, 2016, 卷号: 612, 页码: 23-28
Xu, ZW; Sui, YF; Zhang, WH
收藏  |  浏览/下载：14/0  |  提交时间：2016/12/13
基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏  |  浏览/下载：18/0  |  提交时间：2014/06/06
Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏  |  浏览/下载：2/0  |  提交时间：2017/12/03
Modular Reasoning for Message-Passing Programs 其他
2014-01-01
Lei, Jinjiang; Qiu, Zongyan
收藏  |  浏览/下载：4/0  |  提交时间：2015/11/13
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)
收藏  |  浏览/下载：13/0  |  提交时间：2014/12/16
On invariant checking 其他
2013-01-01
Zhang Zhihai; Kapur, Deepak
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/10
A separation logic for OO programs 其他
2012-01-01
Yijing, Liu; Zongyan, Qiu
收藏  |  浏览/下载：3/0  |  提交时间：2015/11/13
Hoare logic-based genetic programming 期刊论文
SCIENCE CHINA-INFORMATION SCIENCES, 2011, 卷号: 54, 期号: 3
作者:  He Pei;  Kang LiShan;  Johnson, Colin G.;  Ying Shi
收藏  |  浏览/下载：2/0  |  提交时间：2019/12/05

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