программа верификации, верификатор условий Программа, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях
English-Russian Computer dictionary
assertion operator
оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.
English-Russian Computer dictionary
assert statement
оператор контроля Оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. Оператор контроля обрабатывается статически при трансляции или верификации, или динамически вызывая особую ситуацию во время работы программы.