1.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
2.
Study on the Formal Verification Methods in BDD and SAT;
基于BDD和SAT的形式验证方法的研究
3.
Research on Formal Verification Method for VLSI Design
VLSI设计中的形式验证方法研究
4.
Formal Verification Study in SOC Design
形式验证在SOC设计中的应用研究
5.
Axiomatization for the first-order projection temporal logic and formal verifications
投影时序逻辑的公理系统与形式验证
6.
Formal Verification of the EAP-AKA Wireless Authentication Protocols
EAP-AKA无线认证协议的形式化验证方法
7.
High-Level Formal Verification Based on Polynomial Symbolic Algebra Module;
基于多项式模型的高层次形式化验证
8.
Formal Analysis of a Self-Stabilizing Algorithm Using Prototype Verification System Prototype Verification System
基于原型验证系统的自稳定算法形式化验证
9.
Check the forms of authentication that clients are allowed to use.
检查允许客户端使用的身份验证形式。
10.
The Abstraction and Formalized Verification of Heating Hybrid System
供热混合系统的抽象及其形式化验证
11.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
12.
Formal Verification of Security Protocol Adopted in 802.11I;
802.11i中安全协议的形式化验证
13.
The Research of Formal Verification Application in Office Security;
形式化验证在Office安全中的应用研究
14.
The Research of Formal Verification Method on Cryptography Protocol;
关于密码协议形式化验证方法的研究
15.
Research and Application on Verification Technology of Formal B Method;
形式化B方法验证技术研究及其应用
16.
Universally Composable Symbolic Analysis of Non-repudiation Protocols
非否认协议的UC可靠的形式化验证
17.
Protocol Formal Description and Verification Method Based on RSL
基于RSL的协议形式化描述与验证方法
18.
Authentication method of Web service combination formalization based on petri net
Web服务组合形式化验证方法研究