English translation for "形式化验证"

formal verification

Related Translations:

形式化:  formaliseformalisierungformalizationformalize

形式化模型:  formalized model

使形式化:  formalize formalize

形式化算法:  formalized arithmetic

形式化阶段:  formalization stage

形式化测试:  formal testing

形式化方法:  formal methods

形式化规则:  formation rule

形式化索引:  fomalization index

询问形式化:  query formation

Example Sentences:

	1.	A secure , atomic electronic commerce protocol and its formal verification 原子的电子商务协议及其形式化验证
	2.	By doing so , some beneficial contributions are made toward the formal verification of high level secure operating systems 从而对高安全级别操作系统的形式化验证进行了一些有益的探索。
	3.	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 此外，在本文中，还提出了用于顺序图与状态图的一致性、顺序图消息的连通性的形式化验证的算法。
	4.	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逻辑的形式化验证，证明了提出的数字现金协议是一个强壮的协议。
	5.	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 工作流管理系统中一个重要的课题就是要为待描述的过程定义提供一种通用过程描述、表现能力强和便于形式化验证的工作流过程模型。
	6.	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逻辑模型。
	7.	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对称钥协议进行了形式化建模与模型检验，发现了它们的安全漏洞。

Similar Words：

"形式化模型" English translation, "形式化内部模式" English translation, "形式化群定律" English translation, "形式化算法" English translation, "形式化索引" English translation, "形式环" English translation, "形式几何" English translation, "形式记号" English translation, "形式记录" English translation, "形式间可靠性系数" English translation