1.
Research and Implementation of Semi-formal Verification Method for Godson2 s Functional Units;
龙芯2号功能部件半形式化验证方法的研究与实现
2.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
3.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
4.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
5.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
6.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
7.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
8.
The Research of Formal Verification Application in Office Security;
形式化验证在Office安全中的应用研究
9.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
10.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
11.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
非否认协议的UC可靠的形式化验证
12.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
13.
Authentication method of Web service combination formalization based on petri net
Web服务组合形式化验证方法研究
14.
Formal Verification of L4 Memory Management Using SPIN
采用SPIN的L4内存管理形式化验证
15.
Formal Verification of Hardware Design Based on Rebeca Model
基于Rebeca模型的硬件设计形式化验证
16.
Formal Verification of Algorithmic Programs Based on the Isabelle Theorem Prover
基于Isabelle定理证明器算法程序的形式化验证
17.
Formal description and verification of improved authentication protocol
改进身份认证协议的形式化描述与验证
18.
Formal Verification for Communication Protocol of CBTC System Based on Probabilistic Model Checking
概率模型检验的CBTC系统通信协议的形式化验证