model-checking - 查找 UPPAAL 中的状态和转换总数

Question

我有很大的 UPPAAL 模型。我想分析模型中的状态和转换总数。有什么办法可以找出这些东西。

谢谢和问候

Answer 1

并不真地。原则上，（具体）状态的数量是不可数的。Uppaal 处理符号状态，探索的符号状态的数量可能因搜索顺序而异。用于verifyta -u报告已探索状态的数量。