第5章程序正确性证明new

- 第5章 程序正确性证明 - 5.1程序正确性验证概述5.2不变式断言法5.3子目标断言法5.4界函数法－－计数器法 - 5.1 程序正确性概述