formal verification Преобразование доказательства правильности программы в доказательство теоремы в исчислении предикатов первого порядка.
Russian-English Modern Computing dictionary
автоматическая верификация
mechanical verification
Russian-English Modern Computing dictionary
верификация временных диаграмм
timing verification (в логической схеме)
Russian-English Modern Computing dictionary
режим верификации
verification mode В системах с разделением времени - режим, при котором все команды подтверждаются и все изменения текста выводятся на дисплей по мере их внесения в текст.
Russian-English Modern Computing dictionary
функциональная верификация
functional verification (с целью подтверждения выполнения исходного функционального назначения)
Russian-English Modern Computing dictionary
частичная верификация
partial verification Доказательство правильности программ, учитывающее основные, но не все возможные факторы.