手机知网 App
24小时专家级知识服务
打 开
数学
关于框图程序的正确性验证
本文以对程序执行时在程序变元上引起的状态变化序列的分析为基础,提出了一个框图程序正确性的验证方法,并对程序的完全正确性及终止性分别举例说明。最后对由Floyd 及Manna 完成的归纳判定法和合式集合法进行了分析并指出了它的缺点.
领 域:
数学
0 25
开通会员更优惠,尊享更多权益
手机阅读本文
下载APP 手机查看本文
华中师院学报(自然科学版)
1980年03期
论文一键智能排版
排版交给我们,时间留给研究
立即查看 >
相似文献
图书推荐
相关工具书

搜 索