摘要
重点讨论了与程序验证相关的问题 ,并结合已有的求取循环不变式的方法给出了求已知循环程序的循环不变式的原则。
Loop invariant plays an important role in the procedure of proving the cyclic program.Based on some existent methods, a he method is suggested to obtain loop invariant for cycliC program.
出处
《甘肃科学学报》
2000年第3期43-48,共6页
Journal of Gansu Sciences
基金
甘肃省教委科研基金资助项目!( 991 -2 2 )
