verification condition

Верифицирующее условие (в технике доказательства правильности программ)