英语 ⇄ 俄语 +

proof of correctness in terms of loop invariants 强调
编程	доказательство правильности в терминах инвариантов циклов (ssn)