ループ不変式

【るーぷふへんしき】

ループ不変式

读成： るーぷふへんしき
中文： 回路不变量、循环不变式、循环不变量