|
已选(0)清除
条数/页： 排序方式：
|
| 概率拟Hoare逻辑 期刊论文
计算机科学, 2016, 卷号: 第43卷, 页码: 177-181，191
作者: 陈仪香; 吴新星; 胡国胜
  收藏 | 浏览/下载：3/0 | 提交时间：2019/12/24
|
| 事件本体断言要素的形式化研究 学位论文
: 上海大学, 2015
作者: 夏培福[1]
收藏 | 浏览/下载：8/0 | 提交时间：2019/04/26
|
| [α1，α2]1-概率拟Hoare逻辑及其可靠性证明 期刊论文
计算机科学, 2015, 卷号: 第42卷, 页码: 93-99
作者: 陈仪香; 吴新星; 胡国胜
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/30
|
| 基于公式学习的循环不变式的推导 学位论文
硕士, 北京: 中国科学院研究生院, 2014
哈晓琳
收藏 | 浏览/下载：20/0 | 提交时间：2014/06/06
|
| 一种基于语境的程序正确性验证算法的研究与实现 会议论文
全国抗恶劣环境计算机第二十四届学术年会, 江西九江, 2014-09-01
作者: 尹顺顺; 马殿富; 赵永望; 赵宪琦
收藏 | 浏览/下载：8/0 | 提交时间：2020/01/06
|
| 面向多核处理器的低级并行程序验证 期刊论文
2010, 2010
朱允敏; 张丽伟; 王生原; 董渊; 张素琴; ZHU Yun-min; ZHANG Li-wei; WANG Sheng-yuan; DONG Yuan; ZHANG Su-qin
收藏 | 浏览/下载：2/0 |
| 基于依赖分析的并行化验证策略 期刊论文
计算机工程, 2010
作者: 陶荣; 何锫; 黄道昌
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 验证式遗传程序设计理论 学位论文
2008
作者: 何锫
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 程序断言的半自动生成及证明逻辑 期刊论文
计算机工程与应用, 2008, 卷号: 44, 期号: 14
作者: 何锫; 康立山
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/05
|
| 用Hoare逻辑验证程序的一般方法及实例 期刊论文
2007, 卷号: 4, 期号: 2, 页码: 79-81
作者: 杨静
收藏 | 浏览/下载：2/0 | 提交时间：2019/12/31
|
