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