1.
Automatically verifies and displays the identity of programs you download.
自动验证并显示所下载程序的标识。
2.
Do you want to validate Subscriber information automatically?
要自动验证订阅服务器的信息吗？
3.
Flaw Analysis of Security Protocol and Automatic Tool;
安全协议的漏洞分析及自动验证工具
4.
Automated verification tool for time-dependent cryptographic protocols
一种时间相关安全协议的自动验证工具
5.
Active and Passive Validation
主动验证和被动验证
6.
The Formal Verification Techniques for the Timed System Using Timed Automata;
基于自动机的时间系统形式验证技术
7.
Research on Automatic Service Composition and Formal Verification;
Web服务自动组合与形式化验证的研究
8.
Compositional Verification Based on Interface Automata;
基于接口自动机的组合验证方法研究
9.
Design and Implementation of SoC Functional Verification Automation System;
SoC功能验证自动化系统的设计与实现
10.
Specman Elite Based Platform for Automatic Functional Verification
基于Specman Elite的自动功能验证平台
11.
ATN Based Trust Mobile Code Verification
基于自动信任协商的可信移动代码验证方法
12.
Formal Modeling and Verification of Real-time Systems Based on Time Automation;
基于时间自动机的实时系统形式化建模与验证
13.
Research & Implementation of Microprocessor Verification Automation;
微处理器功能验证自动化方法的研究和实现
14.
Research on Planning-based Automatic Verification Technology for Cryptographic Protocols;
基于规划的密码协议自动化验证技术研究
15.
Automatic Functional Verification of the Multi-protocols Processing Chip Bashed on SpecmanE;
用SpecmanE进行复杂协议处理芯片的自动化功能验证
16.
Automatic Verifying Security Protocols Basing Term Guessing and Hash Forging;
基于术语猜测及Hash伪造的安全协议自动化验证
17.
Automatic Test Pattern Generation and the Functionality Verification Environment;
测试向量的自动生成及其功能验证环境
18.
Research on Verification of Controller Synthesis in Design Automation of Digital Systems;
数字系统设计自动化中控制器综合的验证研究