1

我在进行模型验证时收到此错误，编译字符串是

自旋-a testTdma.pml

最大搜索深度太小，深度 = 9999 个状态

我不明白这个错误背后的原因。有人在使用 ISPIN 1.1.4 版和 SPIN 6.4.7 时遇到过这个吗

4

1 回答 1

3
于 2017-12-12T23:38:32.143 回答