程序的正确性相关论文
随着电子计算机的数据处理技术不断发展,会计电算化也在各企、事业单位得到运用.会计人员基本上从手工会计的人工控制转向人机控制......
本文介绍了什么是程序的完全正确性、部分正确性、终止性,并通过实例,介绍了利用不变式断言法和计数器方法分别证明程序的部分正确......
详尽分析了循环不变式和囿界函数在循环研制中的地位和作用,并讨论了其构造方法。...
本文描述如何利用程序正确性验证系统,形式化地证明 FORTRAN 程序的正确性。它为软件工作者提供了形式程序验证的模式,对提高软件......
