无法验证TCTL属性？

问题描述

我在UPPAAL 4.1版本中构建了此模板。我们可以在图1中看到，存在一个代理可以执行ReflexProcessing的单一路径，但是当我编写给定属性时

E 不是（MonitorAgent.ReflexProcessing）

验证者满意。

应该不满意，因为在ReflexProcessing完成的地方只有一条路径。请添加您的建议。enter image description here

解决方法

暂无找到可以解决该程序问题的有效方法，小编努力寻找整理中！

如果你已经找到好的解决方法，欢迎将解决方案带上本链接一起发送给小编。

小编邮箱:dio#foxmail.com (将#修改为@）