Верификация
Процесс проверки истинности суждений. В более узком смысле — процесс проверки истинности формул специального впда нек-рого логикоматематич. языка. А. Г. Драгалин.
Математическая энциклопедияПроцесс проверки истинности суждений. В более узком смысле — процесс проверки истинности формул специального впда нек-рого логикоматематич. языка. А. Г. Драгалин.
Математическая энциклопедия