什么是(伪代码)算法,用于检查 Kripke 结构上的不变量,以便在不变量被违反的情况下,算法返回的反例具有最小长度?
最佳答案
你没有在问题中提供足够的细节,但如果我不得不猜测,我会说你正在寻找 breadth-first search .
关于algorithm - 克里普克结构,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14471262/
什么是(伪代码)算法,用于检查 Kripke 结构上的不变量,以便在不变量被违反的情况下,算法返回的反例具有最小长度?
最佳答案
你没有在问题中提供足够的细节,但如果我不得不猜测,我会说你正在寻找 breadth-first search .
关于algorithm - 克里普克结构,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/14471262/