invariant computation
回路不变量计算 loop invariant computation
还提出了一种改进的整体平均算法，使得该不变量计算速度大为提高。
An improved ensemble average algorithm is studied and the computation speed is greatly improved.
youdao
应用推荐
模块上移
模块下移
不移动