formal verification

n. 形式验证

[网络] 形式化验证；正式验证；正规验证