semi-formal verification的意思|示意
美 / /
英 / /
半正式的验证
semi-formal verification的网络常见释义
半形式验证 ...形式验证工具主要是进行等效性检查和模型检查，而现在形式验证已经运用到了一些崭新领域，半形式验证(semi-formal verification)就是其中之一。