1.
simplification technique
简化技巧 -程序验证中的
2.
The site has requested client authentication.
网站已请求客户程序验证其权限。
3.
PARTNER (Proof of Analogue ResultsthroughNumericalE-quivalent Routine)
用数字等效程序验证模拟结果
4.
A BPEL Program Verification Method Research Based on Mealy Machine
一种基于Mealy机的BPEL程序验证模型研究
5.
Verifying Parallel Low-Level Programs for Multi-core Processor
面向多核处理器的低级并行程序验证
6.
Verification of Licensing LOCA Analysis Program and Three-Dimension Effect Study
认证级LOCA分析程序验证及其三维效应的研究
7.
Concurrent Object-oriented Program Slicing and Its Application in Program Verification;
面向对象并发程序切片技术及其在程序验证中的应用
8.
Acceptance Test Procedure and Guarantee
验收考核程序和保证
9.
The Research of Modeling in Model Checking Java Program;
Java程序模型验证中的程序建模问题研究
10.
To establish the validity of(a will)by probate.
验证遗嘱通过遗嘱检验程序来证实（遗嘱）的效力
11.
The list of unsigned drivers chosen to be verified:
选择要验证的、未签名的驱动程序列表:
12.
Automatically verifies and displays the identity of programs you download.
自动验证并显示所下载程序的标识。
13.
Strong name validation failed for assembly '%1'.
对程序集“%1”进行强名称验证失败。
14.
Stop the Distribution Agent after the validation has completed.
在完成验证后停止分发代理程序。
15.
Microsoft Authenticode technology, which verifies the identity of programs you download.
Microsoft Authenticode 技术，它验证下载程序的标识。
16.
testing, inspection, certification and approval procedures;
检验、检查、认证和批准准程序；
17.
Display information about the currently verified drivers
显示当前经过验证的驱动程序信息
18.
A specified authentication package is unknown.
特定的身份验证程序包未知。