spin model checker spin模型检测器
model checker 模型检查
symbol model checker 符号模型检测
bounded model checker 有界模型检测
This result shows that it is effective to analyse and check the new property of E-commerce protocols by symbol model checker.
结果表明利用符号模型检验方法分析检验电子商务协议的新特性是行之有效的。
The Build lens node can be used to construct a lens model from multiple images of a calibration grid, such as a checker-board pattern, taken at different camera focal lengths.
构建透镜节点可以用来构造一个透镜模型从多个图像的校准网格，如棋盘式格局，取不同的相机焦距。
This result shows that it is effective analyzing and checking the property of network protocols by symbol model checker.
结果表明，利用符号模型检验方法分析检验网络协议是可行的。
应用推荐