2) Verification language
验证语言
1.
This paper aims at the verification currently in bottleneck problem, elaborated that current popular verification technologies and some hardware verification languages.
本文针对目前芯片验证中出现的瓶颈问题,阐述了当前流行的验证技术和部分硬件验证语言。
3) 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.
针对过程定义中控制流、数据流和资源三维元信息相结合的冲突检测问题,研究了过程的语义验证方法。
4) syntactic proof
语法证明
5) E verification language
E验证语言
6) verification method
验证方法
1.
Research progress on verification method of position of nasogastric feeding tube;
鼻饲管位置验证方法研究进展
2.
A novel verification method of bio-heat transfer model was presented in this paper.
提出一种新的生物传热模型验证方法。
3.
The verification method was presented based on the above correlation property,which had been used to verify the Woo and Lam authentication Protocol in reverse analysis.
从主体认证关联、消息间关联和消息内部关联三个角度去刻画协议,提出了基于以上关联特点的协议验证方法。
补充资料：语法
语法
syntax
语法【syntax;c皿“TaKe“c」，数理逻辑中的 作为纯符号系统的形式公理理论的描述和研究(与之比较，语义(se扣。niies)涉及形式理论对象的含义).在数学基础中区别语法和语义是特别重要的，数学基础所研究的形式理论的语义不是直观上明显的.在这种情形下，形式理论语法的描述和研究常借助元理论(meta一theory)中更加可靠的直觉可信的方法来实现，元理论作为基础使用，而不直接解释所研究的复杂的语义的本质特征.例如，在公理集合论(a朋matic set theory)中，熟知的G记el的选择公理的相容性可以作为语法的、有限地可证明的结论，只要Zermefo一Fraellkel形式理论和谐，则加上选择公理也和谐. 当我们不限于数学基础而考虑证明论(prooftheo-ry)时，语法和语义的区别就不是这么重要的了.有人采用所谓的半形式系统(senU一fora长d system)，其中推演概念就与某些语义约定有关.形式语言可以实质上是集合论式地用无穷长公式等来定义.另一方面，对于有界可表示的形式语言，诸如组合逻辑(com-bmtory fogic)的语言，算术语言(algoritlm血lan即-age)，创门的语义可以用该语言的纯语法的方法严格地阐述出来.
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条