1) Compositional verification
组合验证
1.
Based on expressing UML Statecharts with hierarchical automata structurally,the paper introduces hierarchy into compositional verification,which makes it possible that some refined components can be replaced by more abstract specifications in model checking,and state explosion problem will be reduced.
该文在用层次自动机结构化表示UMLStatecharts的基础上,把Statecharts的层次结构特点纳入到组合验证中,使得对实现规范的验证可以通过把系统的某些层次精化部分用更抽象的规约代替来进行,以缓解模型检验中的状态爆炸问题。
2.
A key problem of compositional verification lies in the difficulties of task division, which are brought by the dependence relationship.
因为传统的模型不能在构件的行为描述中显式地表达构件对环境的假设,因此在组合验证时往往需要单独构造环境模块,这较大程度地增加了组合验证的复杂性。
3) Validation organization
验证组织
5) hybrid authentication
混合验证
1.
This paper presents a hybrid authentication for SOC.
本文介绍一种基于断言的形式验证与仿真验证相结合的面向SOC的新的混合验证方法,并简要介绍其在数据完整性验证方面的应用实例。
补充资料：组合模式或组合振动
分子式：
CAS号：
性质：在红外光谱中通常出现很多的弱吸收，组合模式或组合振动系指对应于两个或多个基本振动频率之和起源，它的弱吸收于多原子分子振动态相互作用的振子的非谐性。与基频振动及倍频所引起的吸收相比，这些吸收是比较弱的。
CAS号：
性质：在红外光谱中通常出现很多的弱吸收，组合模式或组合振动系指对应于两个或多个基本振动频率之和起源，它的弱吸收于多原子分子振动态相互作用的振子的非谐性。与基频振动及倍频所引起的吸收相比，这些吸收是比较弱的。
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条