New Strategies for Developing Loop Invariants and its Application

• 循环不变式开发新策略及其应用