Terms containing proof of correctness

Subject	English	Russian
progr.	formal proof of correctness	формальное доказательство корректности (корпорации AdaCore Alex_Odeychuk)
progr.	proof of correctness	доказательство правильности (ssn)
progr.	proof of correctness in terms of loop invariants	доказательство правильности в терминах инвариантов циклов (ssn)
softw.	semi-formal and formal proofs of correctness	полуформальные и формальные доказательства корректности (корпорации AdaCore Alex_Odeychuk)