首页> 中文期刊> 《信息技术与信息化》 >关于程序正确性证明的进一步探讨

关于程序正确性证明的进一步探讨

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确性和终止性的具体方法步骤.

著录项

来源
《信息技术与信息化》 |2005年第4期|66-67116|共3页
作者
李芳;
展开▼
作者单位

泰山学院计算机系;

泰安;

271021;

展开▼
原文格式 PDF
正文语种 chi
中图分类计算技术、计算机技术;
关键词
程序的正确性; 程序的部分正确性; 程序的终止性; 不变式断言法; 计数器方法; 检验条件;

相似文献

中文文献
外文文献
专利

1. 一种基于程序正确性证明理论的程序开发方法 [J] . 杨庆红 ,李云清 . 计算机应用研究 . 2001,第002期
2. 用标准程序设计语言编写的程序的正确性证明 [J] . . 计算机工程与应用 . 1980,第009期
3. 基于Kripke结构的程序正确性证明 [J] . 林杰 ,余建坤 . 计算机应用 . 2011,第005期
4. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 软件导刊 . 2009,第002期
5. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 教育技术导刊 . 2009,第002期
6. 面向对象程序的正确性证明方法探讨 [C] . 方程平 . 2001年全国理论计算机科学学术会议 . 2001
7. SDN多控制器环境下对Raft一致性算法的改进及正确性证明 [A] . 高宇 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号