然后使用模型检查来检验一个程序是否有某个给定特性。
Model checking is then used to check whether a program has a given property.
也可以检查SOAP信封来检验Web服务是否真正在工作。
Also examine the SOAP envelope to verify that the Web service in fact works.
检查检验完成后的相关文书文件。
你能够把一份检查机检验和文件加到你的数据上文件。
质量部负责检验和试验状态的监督和检查。
The Quality Department is responsible to supervise and check the inspection and test status.
我们已将您的笔送交质量检查部门检验，并要求做出报告。
We have passed your pen to our quality control department for inspection and a report.
检验员会定时地检查从每台机器做出的产品样品，定时取样。
Inspector will regularly check from each machine make product samples, regular sampling.
检验者和检查者必须(在检验报告上)签名并加盖公司印章。
结论：本法适用于成品检验及杂质或降解产物的检查。
CONCLUSION: The method can be used to determine finished product and impurity.
结论：本法适用于成品检验及杂质或降解产物的检查。
CONCLUSION: The method can be used to determine finished product and impurity.
应用推荐