1. контроль, проверка 2. верификация Формальное (обычно полуавтоматическое) доказательство правильности программы, использующее предусловия и постусловия для процедур и операторы контроля
Phrases with verifications'
program verification верификация программ, доказательство правильности программ
verification and validation приемочные испытания, испытания Всесторонняя проверка и тестирование системы, обычно при сдаче в эксплуатацию. Verification обычно относится к формальной проверке, а validation