• Formal verification software bugs.

    形式验证软件缺陷

    www.asicdev.com

  • And formal verification is one form of static verification.

    其中形式验证静态验证种。

    dict.cnki.net

  • The other type of formal verification is property checking.

    另外形式验证特性检查

    www.asicdev.com

  • The current trends of formal verification are also discussed.

    形式验证发展趋势做了论述。

    dict.cnki.net

  • Many factors can betray the confidence offered by formal verification.

    许多因素能够降低形式验证提供信心度

    www.asicdev.com

  • In between are the people who use formal verification tools to construct these systems.

    那些使用常规验证工具建立这些系统人们处于两者之间

    article.yeeyan.org

  • Model checking is a formal verification by exhaustive search to finite state automata.

    模型检测基于对有状态自动机进行穷尽搜索一种形式化验证方法。

    dict.cnki.net

  • Formal verification is an effective approach to enhancing the reliability of softwares.

    形式验证提高软件可靠性有效手段

    dict.cnki.net

  • Bugs in formal verification software can miss design errors and thus give false confirmation.

    形式验证软件中的缺陷遗漏设计错误进而给出错误的确认。

    www.asicdev.com

  • This paper focuses on the formal verification of MANET non-secure and secure routing protocols.

    安全问题路由协议的正确性尤为重要。

    dict.cnki.net

  • The purpose of formal verification is to prove if the hybrid systems operate safely in all conditions.

    形式验证目的在于检验混合系统是否任何环境下都能安全运行

    dict.cnki.net

  • New problems are encountered in functional design, simulation, formal verification, testing and other fields.

    由于设计规模的扩大,芯片的功能设计、仿真形式验证测试等都遇到新的问题

    dict.cnki.net

  • Finally, it shows the formal verification of the improved protocol and proves its fairness and non-repudiation.

    最后改进协议进行形式化分析,证明改进后协议的不可否认性公平性

    www.dictall.com

  • Refered to formal verification for VLSI, a new method to formally describe and verify assurance maintenance is brought forward.

    引用数字硬件形式化证明思想,提出了保证维护进行形式化描述验证思路

    dict.cnki.net

  • As the complement to traditional simulation-based verification process, Formal verification methods gain more momentum recently.

    形式验证作为传统模拟验证补充越来越受到重视。

    dict.cnki.net

  • Model Checking is a formal verification technology for finite-state system, which is famous for its concise and highly automatic.

    模型检验一种针对有限状态系统形式化验证技术简洁明了自动化程度而引人注目。

    kns50.chkd.cnki.net

  • Formal verification, although offering exhaustive checking on properties, by no means guarantees complete functional correctness of design.

    尽管形式验证能够彻底检查特性,但仍然无法保证设计完全正确

    www.asicdev.com

  • Model checking and refinement checking are two approaches to formal verification, whose difficulties are due to the state explosion problem.

    组合可达性分析并发系统模型分析验证的基础关键,但是难于解决验证中的所谓的状态爆炸问题

    www.dictall.com

  • However, the deployment of the existing tools in real-world projects also showed the weaknesses and problems of formal verification techniques.

    不过现实世界工程现有工具部署显示正式证实技术弱点问题

    www.tzhealth.com

  • Formal verification is consisted of the procedural safeguards and proof of voluntariness, in order to determine the form of voluntary confession.

    形式化查证程序保障规则任意性证明两部分构成以此确定任意自白形式

    www.591-lw.com

  • These achievements include the axiomatization of programming languages and data types, formal verification, and formal specification and analysis.

    这些贡献包括编程语言数据类型公理化形式验证,形式规约分析

    blog.csdn.net

  • In the project of HDTV channel receiving ASIC, DFT techniques based on scan-chains, STA (Static Timing Analysis) and formal verification has been adopted.

    数字高清晰度电视信道接收芯片实现中使用基于扫描链的可测试设计静态验证技术

    www.fabiao.net

  • Protection rules from the procedural violation is the exclusion of the confession of the absolute effect of view, there are strict verification and formal verification.

    程序性保障规则违反是否对自白排除有绝对效力形式化查证严格查证一般查证之分。

    www.591-lw.com

  • Every formal verification approaches have their advantages and disadvantages, the main advantage of model checking is automation, its main drawback is the state explosion problem.

    各种形式化方法都有优缺点模型检测优点完全自动化,但存在空间开销大的问题

    dict.cnki.net

  • Model checking based formal verification is a technique of this kind, and has been successful used in practice to verify complex sequential circuit designs and communication protocols.

    基于模型检测的形式化方法就是这样一种技术成功地实践中应用于复杂时序线路设计通信协议正确性验证

    www.boshuo.net

  • Throughout the countries and regions of developed law system, the judgment of voluntary confession is formal judgment. We find that the formal verification has become a general practice.

    纵观法制发达国家地区自白任意性规则,我们不难发现自白形式化查证已经成为一种通例。

    www.591-lw.com

  • In particular, the specification of the semantics (or meaning) of the UML modeling concepts remained inadequate for such MDD-oriented activities as automatic code generation or formal verification.

    特别是UML建模概念语义(含义)的规范这些作为自动代码生成正式确认基于MDD的活动仍旧是不适当的。

    www.ibm.com

  • The traditional verification method can't eliminate all the design error. Therefore, many people tum to various formal verification methods to grantee the correctness of the design under any inputs.

    传统验证手段难以排除所有设计错误人们转而求助各种形式验证方法保证设计各种可能输入组合下的正确性

    dict.cnki.net

  • Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

    其中几本教材中很少的篇幅涉及确认验证但是仅仅是简单的引用IEEE标准其他正式方法

    www.ibm.com

  • Some have short sections on validation and verification, but those simply point either to IEEE standards or other formal methods.

    其中几本教材中很少的篇幅涉及确认验证但是仅仅是简单的引用IEEE标准其他正式方法

    www.ibm.com

$firstVoiceSent
- 来自原声例句
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定
小调查
请问您想要如何调整此模块?

感谢您的反馈,我们会尽快进行适当修改!
进来说说原因吧 确定