在nusmv中运行规范期间，需要几个小时才能得到＆＃34; kill 9＆＃34;的结果。如何加快执行速度？ 是否有选项可以增加NuSMV在规范运行期间可以使用的内存量？
答案 0 :(得分：2)
你可能想要使用nuXmv https://es-static.fbk.eu/tools/nuxmv/，这是NuSMV的继承者。它提供了更新的基于SAT的模型检查算法，通常比基于BDD的内存使用更少的内存，并且它允许与NuSMV相同的模型规范。
总的来说，这取决于NuSMV内存耗尽的原因。大多数时候，它不会设法建立模型，这意味着你必须减少你的模型大小。为此，您可能希望查看某些状态变量是否可以成为没有状态的布尔信号，或者是否减少了某些变量的范围。
如果您有参数模型，例如，在使用可变数量的模块或某些变量的位宽可以更改的情况下，您可以尝试使用更简单的变量来运行，然后找出哪个部分可以生成内存需求增长。然后应该以不同的方式对这部分进行建模。