ループ不ふ変へん式しき

noun

loop invariant

A condition that holds true before and after each iteration of a loop, used in formal verification and algorithm design.

• ループ不ふ変へん式しきを使つかってアルゴリズムの正ただしさ