...ter logic; verification condition; automated theorem prover; proof checker [gap=130]关键词: 指针程序;指针逻辑;验证条件;自动定理证明器;证明检查器 ...
基于24个网页-相关网页
Register the verification points for each condition of the decision.
为每一个决策条件注册验证点。
The different series of fence, must carry on the strength and deflection according to the stress condition of the experimental verification or unlucky criterion.
对不同系列的护栏网,必须要按受力状况最晦气准则进行强度、挠度的校核或实验。
This test condition is included to indicate that test verification has not been implemented.
包含这个测试条件的目的,是要指出尚未实作测试验证。
应用推荐