并且基于该算法开发出新的符号模型检测工具。
A new symbolic model checking tool was built based on this algorithm.
建模后利用已经开发的模型检测工具，检测系统的一些重要性质可以保证系统的可靠性和正确性。
After modeling, we use model checker to check some of its key properties, which can guarantee the system's correctness and reliability.
该文针对模型检测过程中所存在的状态爆炸问题，提出了一种基于模型检测工具SPIN的模块化模型检测方法。
To address the state explosion problem in the procedure of model checking, this paper proposes a SPIN - based modularized model checking method.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
一些研究人员在密码协议分析中引入形式化方法，通过建立形式模型和自动检测工具分析密码协议的安全性，取得了较大的成功。
Some researchers introduced formal methods for analyzing cryptographic protocols, and achieved many significant results by building formal models and automatic verifying tools.
应用推荐