verification condition

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

Источник: Полный англо-русский словарь на Gufo.me