Assertion Checker
Материал из Encyclopedia Electronica
[əˈsɜːʃən ˈʧekə]
условный верификатор
Программа (Program), анализирующая текст др. программы, снабженной условиями и операторами контроля, которые должны выполняться в определённых её точках, и доказывающая их истинность или ложность при заданных предусловиях.
— Игорь Мостицкий (обсуждение) 11:21, 9 января 2026 (MSK)
