verifier Устройство для проверки правильности нанесения информации на перфокарты.
Phrases with верификатору
автоматический верификатор mechanical verifier Система обеспечения автоматического доказательства правильности программ. Включает генератор условий верификаций и блок доказательства теорем.
верификатор с наборным полем patchboard verifier
верификатор топологических схем artwork verifier
верификатор условий assertion checker Программная или аппаратная система, анализирующая текст программы, снабженный условиями и операторами контроля, которые должны выполняться в определенных ее точках, и доказывающая их истинность или ложность при заданных предусловиях.