...ter logic; verification condition; automated theorem prover; proof checker [gap=130]关键词: 指针程序;指针逻辑;验证条件;自动定理证明器;证明检查器 ...
基于24个网页-相关网页
Register the verification points for each condition of the decision.
为每一个决策条件注册验证点。
This test condition is included to indicate that test verification has not been implemented.
包含这个测试条件的目的,是要指出尚未实作测试验证。
The skills in selecting the optimum controlling condition in the verification of atomic absorption spectrophotometer are introduced.
介绍原子吸收分光光度计检定最佳测试条件的选择技巧。
应用推荐