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 analyzing and checking the property of network protocols by symbol model checker.

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

youdao