1) semantic verification
语义验证
1.
Especially,an application of semantic verification method based on 3DWFN reduction is described in detail.
特别是详细阐述了基于三维工作流网化简技术的过程语义验证方法的应用,说明了该方法的有效性。
2.
In a workflow system,a semantic verification method based on component-level reduction is described to verify an e-commerce process,order-and-buy process,which is defined with 3DWFN.
工作流过程语义验证是保证过程完成其最终目的的必要方法,基于组件的语义验证方法有利于提高验证效率,适合验证大型过程的语义正确性。
3.
This paper focuses on semantic verification method, solving the problem of conflict checking under the combination of control flow, data flow and resource dimensions of workflow processes.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法。
2) Verification of semantic properties
语义性质验证
3) Verification language
验证语言
1.
This paper aims at the verification currently in bottleneck problem, elaborated that current popular verification technologies and some hardware verification languages.
本文针对目前芯片验证中出现的瓶颈问题,阐述了当前流行的验证技术和部分硬件验证语言。
5) E verification language
E验证语言
6) semantic remote attestation
语义远程认证
1.
This paper describes different remote attestation techniques in a peer-to-peer network,cryptographic attestation,semantic remote attestation,trust-based model and proof-carrying code.
介绍了适合P2P网络中的不同的远程认证技术,包含密码认证,语义远程认证,基于信任模型的认证和携带代码的证明认证,接着对提出的认证技术的优点和不足之处进行分析,最后讨论如何合理地把提出的技术结合在一起,应用到P2P网络中。
补充资料：DVT 设计验证(Design Verification Testing)
以测试产品的功能性为主，通常还包含Debug。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条