社区
数据结构与算法
帖子详情
请提供有关程序正确性证明的经典方法或资料,谢谢
goodlcp
2004-03-23 10:02:09
请提供有关程序正确性证明的经典方法或资料,谢谢
...全文
70
3
打赏
收藏
请提供有关程序正确性证明的经典方法或资料,谢谢
请提供有关程序正确性证明的经典方法或资料,谢谢
复制链接
扫一扫
分享
转发到动态
举报
写回复
配置赞助广告
用AI写文章
3 条
回复
切换为时间正序
请发表友善的回复…
发表回复
打赏红包
hanyimath
2004-03-25
打赏
举报
回复
http://www.uml.org.cn/Test/test4.htm
这有一篇关于证明程序正确性文章
smallbull
2004-03-25
打赏
举报
回复
证明程序正确性是不可能的,只能证明程序有BUG(软件测试),理论上所有的软件都有BUG,去找本软件工程的书来看看
gnefuil
2004-03-23
打赏
举报
回复
算法导论前面讲了用归纳法去证明算法的正确性
Linux C 语言 分支结构程序设计 - 3
内容提要: 帮助同学树立正确的编程观、分析与选择合适的编程语言、或编程入门语言、同时讨论学习编程语言的
方法
论、引导同学选择正确的职业方向。 同时,参照大学计算机类专业入门编程设计课程的要求,较完整逐步...
KMP算法的相关
证明
原文发表于饮水思源BBS。 声名在先:我站在巨人的肩膀上,才认识了 KMP 算法。 ...对于一个模式字符串(pattern string),名...当比较结果相等时则进行下一次比较,当比较结果不相等时就要使用特殊
方法
了:为了提高
如何进行shell脚本正确性测试
转载
请
注明出处:http://blog.csdn.net/wklken ----------------------------...在实际工作中,需要对shell脚本进行正确性测试。 如何用最快最有效的方式进行测试? 很多开发的习惯是,二话不说,写完/拿到,就跑一把
《算法设计与分析》期末不挂科
考前知识点整理算法分析基础算法的定义算法正确性算法的性质程序的定义程序与算法的区别算法设计和分析的步骤复杂度分析算法的时间复杂性算法渐近复杂性渐近分析的记号渐近上界记号渐近下界记号非紧上界记号非紧下界...
57798--springboot垃圾分类识别小程序 (可做计算机毕业设计JAVA、PHP、爬虫、APP、小程序、C#、C++、python、数据可视化、大数据、全套文案)
接着对微信小程序的垃圾分类识别进行总体设计和详细设计,总体设计主要包括小程序功能设计、小程序总体结构设计、小程序数据结构设计和小程序安全设计等;详细设计主要包括微信小程序的垃圾分类识别数据库访问的实现,...
数据结构与算法
33,008
社区成员
35,326
社区内容
发帖
与我相关
我的任务
数据结构与算法
数据结构与算法相关内容讨论专区
复制链接
扫一扫
分享
社区描述
数据结构与算法相关内容讨论专区
社区管理员
加入社区
获取链接或二维码
近7日
近30日
至今
加载中
查看更多榜单
社区公告
暂无公告
试试用AI创作助手写篇文章吧
+ 用AI写文章