1) verification expression
验证式;验证式
2) Model Validation
模式验证
3) formal verification
形式验证
1.
Overview for non-classical slicing technique and its application in formal verification;
非经典切片技术及其在形式验证中的应用综述
2.
Research on Methods for Formal Verification of Vlsi Circuit;
超大规模集成电路形式验证的方法研究
3.
Study on the Formal Verification Methods in BDD and SAT;
基于BDD和SAT的形式验证方法的研究
5) formal verification
正式验证
6) Validating experiments
验证式实验
补充资料：验证
验证——
验证是指对证券委托买卖的合法性和同一性进行审查。验证的合法性审查包括投资主体的合法性和投资程序的合法性。程序合法性审查是指委托程序必须根据交易场所规则进行。同一性审查是指委托人、证件与委托单之间的一致性的审查，包括委托人与所提供证件一致及证件与委托单一致两个方面。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条