программа верификации, верификатор условий, блок проверки утверждений, ревизор утверждений Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.