逻辑验证 meaning in Chinese
logic verification
Examples
- 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逻辑曾在应用认知逻辑验证安全协议上作出了尝试