| 单词 | Formal Verification |
| 释义 | 例句释义: 形式验证,形式化验证,正式验证,正规验证 1. Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design. 尽管形式验证能够彻底检查特性，但仍然无法保证设计完全正确。 www.asicdev.com 2. this paper analyses partial sequential theory of formal verification , states the principle of modeling complex systems. 本文通过对形式验证中部分顺序理论的分析，阐述了通过串并行部序集描述复杂系统的原理。 www.ichacha.net 3. Randal Bryant, CMU professor, for his seminal technological breakthroughs in the area of formal verification. 卡耐基梅隆教授，由于他在形式验证方面的奠基性贡献。 blog.sina.com.cn 4. Formal verification has gained a lot of attention among researchers, and is becoming applicable for industrial designs. 形式化验证方法已经成为学术界研究的热点，并且逐步开始在工业界得到应用。 search.gucas.ac.cn 5. A typical flow of formal verification is shown in Figure 1. 5. 形式验证的典型流程如图1所示。 www.asicdev.com 6. Bugs in formal verification software can miss design errors and thus give false confirmation. 形式验证软件中的缺陷会遗漏设计错误并进而给出错误的确认。 www.asicdev.com 7. During formal verification, the decision from a equivalence checker is clear-cut. 在形式验证中，来自等价性检查器的结果是明确的。 www.asicdev.com 8. There is a growing interest in formal verification for analysis of transaction protocol in electronic commerce field. 通过严格的形式化验证方法来分析电子商务交易协议，一直是电子商务领域研究的热点。 www.dictall.com 9. Many factors can betray the confidence offered by formal verification. 许多因素能够降低形式验证提供的信心度。 www.asicdev.com 10. Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic. 模型检验是一种针对有限状态系统的形式化验证技术，以其简洁明了和自动化程度高而引人注目。 kns50.chkd.cnki.net 1. The other type of formal verification is property checking. 另外一种形式验证是特性检查。 www.asicdev.com 2. In between are the people who use formal verification tools to construct these systems. 那些使用常规验证工具建立这些系统的人们处于这两者之间。 www.bing.com 3. Even today, formal verification is mainly a research area. 甚至现在，形式验证主要地用于研究领域。 www.ibm.com 4. What is your opinion on the importance of applying informal and semi-formal verification techniques for system verification? 对此你有何看法的重要性，采用非正式和半正式核查技术的系统验证？ q.sohu.com 5. What is your perspective on the impact of system modeling on formal verification? 你如何看待的影响的系统建模的形式化验证？ q.sohu.com 6. Formal Verification of Hybrid Systems and Its Application on Chemical Process Control 逻辑控制器的形式验证及其应用 www.ilib.cn 7. Lightweight Formal Verification Method of Mission Space Conceptual Model Research 任务空间概念模型轻量级形式化校核方法初探 scholar.ilib.cn 8. Formal Verification Techniques for Security Protocols 安全协议中的形式化验证技术 www.ilib.cn 9. The Approaches and Technologies for Formal Verification of Security Protocols 安全协议的形式化分析技术与方法 www.ilib.cn 10. Formal Verification Techniques in Workflow Process Modeling 工作流过程建模中的形式化验证技术 www.ilib.cn 1. Formal Verification of Sequential Circuits 时序电路的形式化证明 www.ilib.cn 2. A Logic for Formal Verification and Design of Cryptographic Protocols 一种用于密码协议形式化验证的简单逻辑 www.ilib.cn 3. Based TED high level formal verification for polynomial data path 基于泰勒展开图的数据路径高层次验证 www.ilib.cn 4. Optimizing Compiler Schemas in RETE Network and their Formal Verification with PVS RETE网络中的优化编译模式及其PVS形式验证 www.ilib.cn 5. Formal Verification of Hybrid Systems 混合系统的形式验证方法 www.ilib.cn 6. An ATPG Engine for Formal Verification 一个适于形式验证的ATPG引擎 www.ilib.cn 7. Formal Verification Method of Simulation Scenario Based on High-level Petri Nets 基于高级Petri网的仿真剧情正规校核方法 www.ilib.cn 8. A New Formal Verification Method Based on SVO 一种基于SVO逻辑的新形式化验证方法 ilib.cn |
| 随便看 |
|
英汉双解词典包含2704715条英汉词条，基本涵盖了全部常用单词的翻译及用法，是英语学习的有利工具。