形式化验证的英文

• formal verification

• "验证"英文翻译    test and verify; checking; p ...
• "形式化" 英文翻译 :    formalise; formalisierung; formalization; formalize
• "化验证明" 英文翻译 :    certificate of analysis
• "化验证明书" 英文翻译 :    certificate fo analysis; certificate of analysis; fee for analysis certificate
• "化验证书" 英文翻译 :    analysis certificate; cermet of analysis; certificate of analysis
• "化验证书费" 英文翻译 :    fee for analysis certificate
• "化验报告，化验证明书" 英文翻译 :    laboratory report
• "使形式化" 英文翻译 :    formalize formalize
• "形式化测试" 英文翻译 :    formal testing
• "形式化的" 英文翻译 :    formalized
• "形式化方法" 英文翻译 :    formal methods
• "形式化规则" 英文翻译 :    formation rule
• "形式化阶段" 英文翻译 :    formalization stage
• "形式化控制" 英文翻译 :    formalized control
• "形式化模型" 英文翻译 :    formalized model
• "形式化算法" 英文翻译 :    formalized arithmetic
• "形式化索引" 英文翻译 :    fomalization index
• "询问形式化" 英文翻译 :    query formation
• "形式验证" 英文翻译 :    formal verification
• "哈密顿形式化" 英文翻译 :    hamilton formulation
• "图灵机形式化" 英文翻译 :    turing machine formalization
• "形式化计算机" 英文翻译 :    formalized computer
• "形式化群定律" 英文翻译 :    formal group law
• "非形式化康乐活动" 英文翻译 :    informal recreational activities; informalrecreationalactivities
• "非形式化设计语言" 英文翻译 :    informal design language

• A secure , atomic electronic commerce protocol and its formal verification
  原子的电子商务协议及其形式化验证
• By doing so , some beneficial contributions are made toward the formal verification of high level secure operating systems
  从而对高安全级别操作系统的形式化验证进行了一些有益的探索。
• Another work is emphasizing on a formal verification algorithm for consistence of the sequence diagrams and the statecharts and connectivity of the sequence diagrams messages
  此外，在本文中，还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。
• Using bzl logic , security , anonymity and tracing ability of the digital - cash is verified . the protocol proves strong by using the factual system and being verified by the bzl logic
  通过在电子交易系统的实际应用和bzl逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
• One of the key issues in the workflow management system is how to setup a workflow process model that has powerful present capacity , is easy to use , to exchange and to formalize
  工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。
• Then a simple e - dealing system is devised to show the thoughts of the protocol . in order to formalize and verify the protocol , bzl logic model is built , which based on first - order logic and introduces many - sorted , dynamic and non - monotony logic
  为了形式化验证数字现金的安全性，本文在经典一阶逻辑的基础上，吸取了多类逻辑、动态逻辑和非单调逻辑的思想，提出了bzl逻辑模型。
• 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对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。