【符号模型检验】

符号模型检验

在例句中比较

Symbolic Model Checking

符号模型检验(Symbolic Model checking)是时序逻辑模型检验的技术一种具体方法，它使用一种更为有效的“符号”的方法来表示被检验系统，因而可以处理更大规模的系统。

基于44个网页-相关网页

Symbol Model Verification

Model Verification Present Situation 模型检验现状 Symbol Model Verification 符号模型检验 Model and System Verification 模式及系统验证 ..

基于8个网页-相关网页

计算机科学技术 | 土木建筑工程

·2,447,543篇论文数据，部分数据来源于NoteExpress

结果表明，利用符号模型检验方法分析检验网络协议是可行的。

This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.

youdao
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。

This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.

youdao

更多双语例句

应用推荐

$firstVoiceSent

- 来自原声例句