模型检测造句

因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法

因此，本文提出了一种建立包含多线程交互及线程内代码乱序执行的完整模型，并利用模型检测工具进行穷举检测的算法。

对并发传值系统进行模型检测需要建立相应的抽象模型，带赋值的符号迁移图是一种广为使用的抽象模型。

模型检测通过遍历系统所有可达的状态空间来验*系统是否满足特定的安全属*。

在诸多的系统分析和验*方法中，模型检测技术是近二十年来最成功的自动验*技术之一。