基于不变式生成的循环停机性验证

邢建英，李梦君，李舟军

A Proving the Termination of Loops Based on the Generation of Invariants

XING Jianying，LI Mengjun，LI Zhoujun

计算机工程与科学 . 2012, (4): 108 -113 .