首页> 中文期刊> 《软件导刊》 >程序正确性证明方法研究

程序正确性证明方法研究

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

介绍了R.W.Floyd的证明程序部分正确性的归纳断言法和证明程序终止性的良序集法,以及Hoare公理系统。

著录项

来源
《软件导刊》 |2009年第2期|24-27|共4页
作者
苏敏; 丁志义;
展开▼
作者单位

宁夏大学数学与计算机学院;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
良序集; Hoare公理系统;

相似文献

中文文献
外文文献
专利

1. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 软件导刊 . 2009,第002期
2. 一种基于程序正确性证明理论的程序开发方法 [J] . 杨庆红 ,李云清 . 计算机应用研究 . 2001,第002期
3. 用标准程序设计语言编写的程序的正确性证明 [J] . . 计算机工程与应用 . 1980,第009期
4. 基于Kripke结构的程序正确性证明 [J] . 林杰 ,余建坤 . 计算机应用 . 2011,第005期
5. 程序正确性证明方法探论 [J] . 余娟 . 科技广场 . 2006,第002期
6. 基于Tableau的程序综合方法的完全正确性证明 [C] . 高晓雷 ,缪淮扣 . 2003中国计算机大会 . 2003
7. SDN多控制器环境下对Raft一致性算法的改进及正确性证明 [A] . 高宇 . 2018

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号