model-checking - 使用 nuXmv 进行属性验证期间控制台挂起

Question

我正在使用 nuXmv 开发一个模型，我想将其中的 3 个变量初始化为整数范围，而不是固定的整数值。值为 - 1..100、20..100 和 0..200

一组固定初始值的模型模拟按预期工作，并且可以验证属性。

但是，当我输入一系列随机选择的初始值时，模型会无限期地挂起。

有谁知道可能是什么原因以及如何解决这个问题？