期刊导航
期刊开放获取
河南省图书馆
退出
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
程序正确性证明与动态特性
被引量:
1
下载PDF
职称材料
导出
摘要
程序在多道程序系统中正确运行,取决于它的静态性和机子的动态特性。本文讨论程序正确性检测的可行性与局限性并重点讨论机子的动态特性检测方法,给出一些检测实便和方法。
作者
王卓
陈家文
机构地区
西北民族学院数学系
兰州电机集团有限责任公司
出处
《西北民族大学学报(自然科学版)》
1998年第1期136-137,共2页
Journal of Northwest Minzu University(Natural Science)
关键词
程序正确性证明
死循环
死锁
分类号
TP311.11 [自动化与计算机技术—计算机软件与理论]
引文网络
相关文献
节点文献
二级参考文献
0
参考文献
0
共引文献
0
同被引文献
21
引证文献
1
二级引证文献
1
同被引文献
21
1
厉海燕,李新明.
一种证明程序正确性的方法[J]
.计算机应用,2001,21(z1):158-159.
被引量:3
2
张广泉.
广义数学归纳法证明程序的正确性[J]
.重庆师范学院学报(自然科学版),1994,11(2):66-71.
被引量:4
3
刘育刚.
递归Prolog程序的正确性证明[J]
.计算机学报,1996,19(1):64-67.
被引量:2
4
郭建,韩俊刚.
基于不完全Kripke结构三值逻辑的模型检验[J]
.计算机科学,2006,33(3):263-266.
被引量:5
5
Marsha Chechik,Wei Ding.Lightweight Reasoning about Program Correctness[J]. Information Systems Frontiers . 2002 (4)
6
Zohar Manna,Amir Pnueli.Axiomatic approach to total correctness of programs[J]. Acta Informatica . 1974 (3)
7
BASU S K,YEH R T.Strong verification of programs. IEEETransactions on Software Engineering . 1974
8
R W Floyd.Assigning meanings to programs. Proceedings Symposium in Applied Mathematics, Mathematical Aspects of Computer Science . 1967
9
Hoare,C.A.R.An axiomatic basis for computer programming. Communications of the ACM . 1969
10
Dijkstra EW.A discipline of programming. . 1976
引证文献
1
1
林杰,余建坤.
基于Kripke结构的程序正确性证明[J]
.计算机应用,2011,31(5):1425-1427.
被引量:1
二级引证文献
1
1
吴鹏,张叙,路霞.
基于模型检测方法的中文专利法律状态数据清洗研究[J]
.情报理论与实践,2018,41(3):49-56.
被引量:7
1
周继雄.
程序的正确性证明[J]
.武汉水运工程学院学报,1991,15(3):340-347.
被引量:1
2
林杰,余建坤.
基于Kripke结构的程序正确性证明[J]
.计算机应用,2011,31(5):1425-1427.
被引量:1
3
王彩芬.
程序正确性证明及循环不变式的寻找方法[J]
.甘肃科学学报,2000,12(3):43-48.
被引量:2
4
罗永龙,赵诚.
多道程序系统中进程管理过程的模拟[J]
.合肥学院学报(自然科学版),1999,13(4):5-6.
5
李建军,郁滨,陈武平.
基于抽象服务的密码服务组合模型设计与实现[J]
.计算机工程与设计,2012,33(8):2920-2925.
被引量:2
6
王彩芬.
程序正确性证明中逻辑公式的可满足性[J]
.西北师范大学学报(自然科学版),2001,37(3):27-32.
被引量:1
7
张志斌.
算法分析引论:第2版[J]
.国外科技新书评介,2013(5):17-18.
8
王凤林,嵇琦.
程序正确性证明的一种方法[J]
.大电机技术,1998(3):18-22.
被引量:1
9
康慕宁,胡正国,叶军.
Petri网在程序正确性证明中的应用研究[J]
.西北工业大学学报,1996,14(1):77-81.
10
李芳.
关于程序正确性证明的进一步探讨[J]
.信息技术与信息化,2005(4):66-67.
被引量:3
西北民族大学学报(自然科学版)
1998年 第1期
职称评审材料打包下载
相关作者
内容加载中请稍等...
相关机构
内容加载中请稍等...
相关主题
内容加载中请稍等...
浏览历史
内容加载中请稍等...
;
用户登录
登录
IP登录
使用帮助
返回顶部