形式化验证,formal verification
1)formal verification形式化验证
1.High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;基于多项式模型的高层次形式化验证
2.Research on the Theory and Application of the State π Calculus Based Formal Verification for Grid Service Flows;网格服务流的状态π演算形式化验证技术研究与应用
3.There is a growing interest informal verification for analysis of transaction protocol in electronic commerce field.通过严格的形式化验证方法来分析电子商务交易协议,一直是电子商务领域研究的热点。
英文短句/例句
1.Formal Verification of the EAP-AKA Wireless Authentication ProtocolsEAP-AKA无线认证协议的形式化验证方法
2.High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;基于多项式模型的高层次形式化验证
3.Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System基于原型验证系统的自稳定算法形式化验证
4.The Abstraction and Formalized Verification of Heating Hybrid System供热混合系统的抽象及其形式化验证
5.Research on Automatic Service Composition and Formal Verification;Web服务自动组合与形式化验证的研究
6.Formal Verification of Security Protocol Adopted in 802.11I;802.11i中安全协议的形式化验证
7.The Research of Formal Verification Application in Office Security;形式化验证在Office安全中的应用研究
8.The Research of Formal Verification Method on Cryptography Protocol;关于密码协议形式化验证方法的研究
9.Universally Composable Symbolic Analysis of Non-repudiation Protocols非否认协议的UC可靠的形式化验证
10.Authentication method of Web service combination formalization based on petri netWeb服务组合形式化验证方法研究
11.Formal Verification of L4 Memory Management Using SPIN采用SPIN的L4内存管理形式化验证
12.Formal Verification of Hardware Design Based on Rebeca Model基于Rebeca模型的硬件设计形式化验证
13.Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover基于Isabelle定理证明器算法程序的形式化验证
14.Formal Verification for Communication Protocol of CBTC System Based on Probabilistic Model Checking概率模型检验的CBTC系统通信协议的形式化验证
15.A SECURE, ATOMIC ELECTRONIC COMMERCE PROTOCOL AND ITS FORMAL VERIFICATION一个安全、原子的电子商务协议及其形式化验证
16.The Research and Implementation on the Formal Verification Technique of Security Protocol;安全协议形式化验证技术的研究与实现
17.Design and Formal Validation of Wayside Safety Computer in CBTC;CBTC中轨旁安全计算机的设计与形式化验证
18.The Application Research and Implementation of Boolean Satisfiability Algorithm in Formal Verification;满足性算法在形式化验证中的应用研究及实现
相关短句/例句
formal authentication形式化验证
1.This paper introduces some classicalformal authentication tools for security protocols, and describes an authentication algorithm for security protocol based on intruder identification and security implementation using JAVA.介绍了几种具有代表性的安全协议的形式化验证工具 ,并提供了用 JAVA语言实现的基于攻击者和秘密的安全协议验证算法。
3)formal verification technique形式化验证技术
1.In this paper,illustrate the formal verific ation requirement for security protocols, also describe severalformal verification techniques and set forth the relative merit of each in detail.文中描述了安全协议验证的形式化需求,并且详细阐述了目前流行的几种形式化的验证技术及各自的优缺点,探讨了形式化验证技术所面临的挑战,指出目前在这方面所做的工作以及有待发展的方向。
4)semi-formal verification半形式化验证
5)formal verification形式验证
1.Overview for non-classical slicing technique and its application informal verification;非经典切片技术及其在形式验证中的应用综述
2.Research on Methods for Formal Verification of Vlsi Circuit;超大规模集成电路形式验证的方法研究
3.Study on the Formal Verification Methods in BDD and SAT;基于BDD和SAT的形式验证方法的研究
6)formal description and verification形式化描述和验证
延伸阅读
公理化方法(见公理化和形式化)公理化方法(见公理化和形式化)axiomatical methodgongllbuafangfa公理化方法化和形式化。(axiomatieal method)见公理
