Большой англо-русский словарь (с транскрипциями) VERIFICATION condition верифицирующее условие (в технике доказательства правильности программ)