循环不变式 循环不变式的定义 循环不变式的结构 循环不变式的性质 相关阅读 http://se.ethz.ch/~meyer/publications/methodology/invariants.pdf http://www.cs.tau.ac.il/~nachumd/term/FloydMeaning.pdf