| 1. | So the test tools for optimization theory are presented
为本文建立的优化理论提供了检验工具。 |
| 2. | Establish incoming inspection plan , improvement inspection tooling
建立来料检验指引,改进检验工具 |
| 3. | Road vehicles . garage equipment . engine testing and measuring equipment
道路车辆.汽车车库工具.测量和检验工具 |
| 4. | Manage and maintain inspection tools to make them always functional and available for use
管理和保养检验工具，使其一直处于可使用状态。 |
| 5. | The object of this paper is to verify security protocols with model checking tools
本课题的研究目的是采用模型检验工具对安全协议进行验证。 |
| 6. | Learn how to identify design problems in your code with the code review tools within rational software architect
本教程将教你学会在rational software architect中利用代码检验工具以寻找你的代码中的设计问题。 |
| 7. | After that the paper analyses the land using theory and raises the evaluation system as a method to check the utility of space
再对城市空间结构的基础土地利用结构进行理论分析，提出土地利用结构的优化的评价体系，以此作为城市土地利用结构优化的检验工具。 |
| 8. | We have designed and implemented an uml - based model checking tool , uml - mc . it can verify the statecharts modeled by rational rose or i - logix rhapsody . the counter - examples will be given when system does not meet the properties
我们设计并实现了一个uml模型检验工具uml - mc ，可以对rationalrose或i - logixrhapsody建立的statecharts模型进行验证，并能在性质不满足时给出反例路径。 |
| 9. | First , this paper introduces the notation , categories and properties of security protocols , and formal methods to verify security protocols and small system model . the emphasis is the research and analysis of the principle of the model checking method . we study the mechanism and syntax of symbolic model checking tool smv , model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
文章主要介绍了安全协议的概念、分类和性质，安全协议的形式化验证方法，以及小系统模型的原理；重点分析和研究了符号化模型检验工具smv的原理和语法及其对安全协议进行模型检验时的工作机理，而且使用smv对needham - schroeder公钥协议和wooandlam对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。 |
| 10. | We research different kinds of formal methods , particularly study the mechanism of symbolic model checking tool smv , and finally we decide to adopt smv as the tool for the model checking of security protocols . with smv , we model check the authentication version of needham - schroeder public key protocol and woo and lam ij symmetric key protocol
本文研究了验证安全协议的各种形式化方法，详细研究了符号化模型检验工具smv的工作机制；确定了使用smv作为工具对安全协议进行模型检验，验证了认证版needham - schroeder公钥协议和wooandlam对称钥协议。 |
