基本释义:

模型检查

网络释义

1)model checking,模型检查

2)failure finding model,故障检查模型

3)symbolic model checking,符号模型检查

4)model checking tool,模型检查工具

5)Partial Model Checking,部分模型检查

6)DATA QUALITY CHECK MODEL,数据质量检查模型

用法和例句

Modeling from VHDL design to FSM based on model checking;

基于模型检查的VHDL到FSM的转换

Study of Scenario Graph and Attack Graph Based on Model Checking;

基于模型检查的场景图和攻击图研究

This paper presents a failure finding model in which functional failure and potential failure are considered.

从系统的功能故障状态和潜在故障状态两方面讨论了故障检查模型,基于延迟时间模型推导了系统的期望可用度模型并对其适用性进行了讨论与验证。

We highlight the use of SAT algorithm to solve lots of EDA problems in such perse areas as test pattern generation, symbolic model checking, combinational equivalence checking, and verification for RTL design.

介绍布尔可满足性 (SAT)求解程序在测试向量自动生成、符号模型检查、组合等价性检查和RTL电路设计验证等电子设计自动化领域中的应用 着重阐述如何在算法中有机地结合电路拓扑结构及其与特定应用相关的信息 ,以便提高问题求解效率 最后给出下一步可能的研究方

By analyzing the symbolic model checking process, we choose to store the parametric variables separately in symbolic form a.

说明了 HYTECH工具中所采用的参数分析方法对系统描述能力的限制 ;提出了分离参数变量和系统状态变量的符号模型检查算法 ,并对用 HYTECH不能分析的 Fischer互斥算法的时钟偏移的界进行了分析。

Model Checking Propositional Projection Temporal Logic with Infinite Model;

基于无穷模型命题投影时序逻辑的模型检查

Research on Model Checking UML Statecharts and Tool Implementation;

UML状态图模型检查技术及工具实现

Study of Scenario Graph and Attack Graph Based on Model Checking;

基于模型检查的场景图和攻击图研究

SmartOSEK IDE3.0 and Its Model Checking and Codesign;

SmartOSEK IDE3.0及其模型检查和协同工作

Research on Model-Checking and Testing Techniques of Software Vulnerability

软件脆弱性模型检查与测试技术研究

Analyzing and Verifying Network Protocols by Model Checking

基于模型检查的网络协议分析与验证

Research on object-oriented check method of CAD model

面向对象的CAD模型检查方法研究

Research on Survivability of Information System Based on Model Checking Technology

基于模型检查技术的信息系统生存性研究

Analysis and verif TCP connection management protocol based on model checking

基于模型检查的TCP连接管理协议分析与验证

Identity of on-condition maintenance check interval based on function check model

基于功能检查模型的视情维修检查间隔的确定

Improvement of model of focal cerebral ischemia in cat and establishment of functional examination model

猫局灶脑缺血模型的改进并建立功能检查模型

econometric testing

根据计量经济模型式进行的检查

Research on Query Feature Context Aware Information Retrieval Model;

基于查询特征上下文的检索模型研究

Semantic Checking of UML Model Based on Ontology Reasoning

基于本体推理的UML模型语义检查

Integrated Policy Model for Condition-Based Inspection and Maintenance

基于状态的检查与修理综合决策模型

Query Expansion Model Based on Semantic Information Retrieval

基于语义的信息检索的查询扩展模型

module check

模块检查,模块检验

Enable semantic error checking to ensure that there are no semantic errors in the model.

启用语义检查，确保在模型中没有语义错误。