English translation for "逻辑验证"

logic verification

Related Translations:

验证试车:  confirmation test

验证测量:  confirmatory measurementconfirmatorymeasurement

验证系统:  epidverification system

验证应力:  proof stress

形式验证:  formal verification

证明验证:  review

已验证:  authenticated

验证职能:  attestation function

硬件验证:  hardware verificationverification hardwareverification, hardware

判定验证:  decision verification

Example Sentences:

1.

The proposed methodology is different from many previous approaches to automatic verification of security protocols in that it is justification - oriented instead of falsification - oriented , i . e . , finding bugs in a protocol 由burrows , abadi和needham提出的ban逻辑及类ban逻辑曾在应用认知逻辑验证安全协议上作出了尝试

Similar Words：

"逻辑学小作品" English translation, "逻辑学在这里是作为单独一门课来讲授的" English translation, "逻辑循环连接行" English translation, "逻辑演算" English translation, "逻辑演绎" English translation, "逻辑验证系统" English translation, "逻辑页" English translation, "逻辑页编号" English translation, "逻辑页标识符" English translation, "逻辑页号" English translation