首页> 中文期刊> 《科技广场》 >程序正确性证明方法探论

程序正确性证明方法探论

开具论文收录证明 >>

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

文献代查 >>

页面导航

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

摘要

程序的正确性证明是计算机软件工程中的一个重要领域.本文简单说明了程序正确性的基本理论和方法,并介绍了该领域的最新进展和作者对于该问题的一些看法.

著录项

来源
《科技广场》 |2006年第2期|24-25|共2页
作者
余娟;
展开▼
作者单位

广东省东莞市教师进修学校;

东莞;

523413;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
正确性; 形式化;

相似文献

中文文献
外文文献
专利

1. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 软件导刊 . 2009,第002期
2. 程序正确性证明方法研究 [J] . 苏敏 ,丁志义 . 教育技术导刊 . 2009,第002期
3. Prolog程序正确性的一种证明方法 [J] . 曹立明 ,施润身 . 上海铁道大学学报 . 1999,第8期
4. 微分中值定理证明方法浅探 [J] . 李敏 . 辽宁税务高等专科学校学报 . 1990,第002期
5. 数字证据完整性证明方法研究——安全的、可供审计的数字时间戳证明方法 [J] . 王俊 ,李德云 . 吉林公安高等专科学校学报 . 2007,第004期
6. 一种基于语境的程序正确性验证算法的研究与实现 [C] . 尹顺顺 ,马殿富 ,赵永望 . 全国抗恶劣环境计算机第二十四届学术年会 . 2014
7. 基于Petri网的软件解析工具实现和程序正确性测试 [A] . 陈泉源 . 2014

获取原文

客服邮箱：kefu@zhangqiaokeyan.com

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

客服微信
服务号