请提供有关程序正确性证明的经典方法或资料，谢谢

goodlcp 2004-03-23 10:02:09

请提供有关程序正确性证明的经典方法或资料，谢谢

...全文

70 3 打赏收藏转发到动态举报

写回复

3 条回复

切换为时间正序

请发表友善的回复…

发表回复

hanyimath 2004-03-25

打赏
举报

回复

http://www.uml.org.cn/Test/test4.htm
这有一篇关于证明程序正确性文章

smallbull 2004-03-25

打赏
举报

回复

证明程序正确性是不可能的，只能证明程序有BUG（软件测试），理论上所有的软件都有BUG，去找本软件工程的书来看看

gnefuil 2004-03-23

打赏
举报

回复

算法导论前面讲了用归纳法去证明算法的正确性

内容提要：帮助同学树立正确的编程观、分析与选择合适的编程语言、或编程入门语言、同时讨论学习编程语言的方法论、引导同学选择正确的职业方向。同时，参照大学计算机类专业入门编程设计课程的要求，较完整逐步...

原文发表于饮水思源BBS。声名在先：我站在巨人的肩膀上，才认识了 KMP 算法。 ...对于一个模式字符串（pattern string），名...当比较结果相等时则进行下一次比较，当比较结果不相等时就要使用特殊方法了：为了提高

转载请注明出处：http://blog.csdn.net/wklken ----------------------------...在实际工作中，需要对shell脚本进行正确性测试。如何用最快最有效的方式进行测试？很多开发的习惯是，二话不说，写完/拿到，就跑一把

考前知识点整理算法分析基础算法的定义算法正确性算法的性质程序的定义程序与算法的区别算法设计和分析的步骤复杂度分析算法的时间复杂性算法渐近复杂性渐近分析的记号渐近上界记号渐近下界记号非紧上界记号非紧下界...

接着对微信小程序的垃圾分类识别进行总体设计和详细设计,总体设计主要包括小程序功能设计、小程序总体结构设计、小程序数据结构设计和小程序安全设计等;详细设计主要包括微信小程序的垃圾分类识别数据库访问的实现，...

数据结构与算法

33,008

社区成员

35,326

社区内容

发帖

与我相关

我的任务

社区管理员

加入社区

近7日
近30日
至今

加载中

查看更多榜单

社区公告

暂无公告

试试用AI创作助手写篇文章吧

+ 用AI写文章