Assertion Checker

[əˈsɜːʃən ˈʧekə]
условный верификатор
 Программа (Program), анализирующая текст др. программы, снабженной условиями и операторами контроля, которые должны выполняться в определённых её точках, и доказывающая их истинность или ложность при заданных предусловиях.

— Игорь Мостицкий (обсуждение) 11:21, 9 января 2026 (MSK)