当我尝试检查系统是否存在死锁时出现此错误：
验证因错误而中止。这很可能是由超出范围的分配或超出范围的数组查找引起的。
我明白这个错误应该是什么意思（感谢https://www.it.uu.se/research/group/darts/uppaal/help.php?file=System_Descriptions/Expressions.shtml），但我真的可以'找不到任何可能发生此问题的情况，并且无法通过玩模拟器来使其发生。我能想到的唯一可能导致这个问题的是我的数组之一，但从我所看到的情况来看，假设我从来没有做任何越界的事情似乎是安全的。
有没有办法找到任何线索来帮助我识别我的问题（更精确的错误、导致此问题的跟踪或类似的东西）？或者我错过了一个细节，这个错误可能是由其他原因引起的？