循环不变式

引言 　　算法程序形式化设计和证明是确保算法程序逻辑结构正确的最理想途径，是保证软件可靠性的有效手段之一；而体现了算法程序本质特征的循环不变式在 算法程序形式化方法中具有十分重要的作用。循环不变式是程序设计理论中的一个重要概念。这一概念的建立在程序设计从艺术走向科学这一历 史性的转变过程中起着巨大的推动作用，它不仅可以帮助人们理解那些难以理解的、精巧的循环算法程序，而且可以用来形式化地证明循环算法

>>阅读原文<<