1) model checking
模型检查
1.
Modeling from VHDL design to FSM based on model checking;
基于模型检查的VHDL到FSM的转换
2.
Study of Scenario Graph and Attack Graph Based on Model Checking;
基于模型检查的场景图和攻击图研究
2) failure finding model
故障检查模型
1.
This paper presents a failure finding model in which functional failure and potential failure are considered.
从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。
3) symbolic model checking
符号模型检查
1.
We highlight the use of SAT algorithm to solve lots of EDA problems in such diverse areas as test pattern generation, symbolic model checking, combinational equivalence checking, and verification for RTL design.
介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方
2.
By analyzing the symbolic model checking process, we choose to store the parametric variables separately in symbolic form a.
说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。
4) model checking tool
模型检查工具
5) Partial Model Checking
部分模型检查
6) DATA QUALITY CHECK MODEL
数据质量检查模型
补充资料：监事会检查后及时作出检查报告的职权
监事会检查后及时作出检查报告的职权：监事会每次对企业进行检查结束后，应当及时作出检查报告。 检查报告的内容包括：企业财务以及经营管理情况评价；企业负责人的经营管理业绩评价以及奖惩、任免建议；企业存在问题的处理建议；国务院要求报告或者监事会认为需要报告的其他事项。 监事会不得向企业透露前款所列检查报告内容。――――――《国有企业监事会暂行条例》第9条
说明：补充资料仅用于学习参考，请勿用于其它任何用途。
参考词条