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

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

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

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

youdao