回答情况：
提问时间：
问题标签：
我在我的Mac上安装Uppaal。我已经安装了Catalina和我知道的解决办法张贴在这里做的授权，并已这样做。错误:无法访问jarfile ./uppaal.jar
帮帮忙，我需要这个来完成任务
浏览 4提问于2020-01-28得票数 1
我想了解1中讨论的UPPAAL SMC示例。
三个时间自动机应该可视化UPPAAL SMC中的概率分布。我在UPPAAL中建模了A1 TA，由于更新X=0和边缘的保护x >= 2，所以不可能到达终端位置。时间间隔是如何详细计算的？
浏览 1修改于2019-09-02得票数 1
回答已采纳
我在UPPAAL中建立了一个两个触发器的定时模型，当我试图验证一些属性时，我达到了6M个状态，我的笔记本电脑没有RAM了，大约5Go被消耗了，有人能告诉我UPPAAL可以处理的大概状态数是多少吗？在UPPAAL中有哪些可能的技术来处理状态爆炸？
谢谢
浏览 11提问于2016-11-30得票数 1
1回答
我正在使用UPPAAL，我试图模拟一个鞋厂，在那里5个系统并行运行。如果有人需要，我可以写得更详细，但我不想浪费任何人的时间来描述模型。所以直接到问题上来：Edit1: (一些人声称代码不可访问)，因此我将粘贴UPPAAL的2个文件，如下所示:DOCTYPE nta PUBLIC '-//Uppaal Team//DTD Flat Sy
浏览 0修改于2018-03-28得票数 0
回答已采纳
我试图用UPPAAL SMC查询一个更大的系统，结果出现了“内存耗尽”的错误消息。本质上，UPPAAL SMC不应该导致状态空间爆炸，这就是为什么我问是否可以使用SMC进行查询，而不会导致状态空间爆炸。</html>
at com.uppaal.engine.Engine.getSystem(Engine.java:352) 是否可以在不调用内存密集型engine.getSystem()的情况下查询上层SMC Here is the uppaal model of my "device&q
浏览 29修改于2019-05-02得票数 0
回答已采纳
是否可以检查对象是否是UPPAAL中数组的元素？如果我有一个整数数组我想在验证器中执行一个查询，其中我有如下内容：另外，UPPAAL中是否存在字符串类型或字符类型？
浏览 0修改于2018-03-30得票数 0
回答已采纳
我正在学习有关正式验证的知识，我应该使用我第一次接触的UPPAAL。但是，每次启动UPPAAL时，都会出现以下错误：有什么方法可以修复这个错误吗？我看了以下帖子，但由于我是UPPAAL的新手，我无法找到解决方案：
在这方面，任何帮助都将不胜感激！
浏览 1提问于2016-05-31得票数 4
我目前正在运行我的UPPAAL模拟器。在某个点之后，我的模拟器停止运行代码。这一点因我所提供的声明而异。但我想知道时钟什么时候停止运行？有什么能触发这一切的吗？
浏览 2修改于2016-11-20得票数 2
回答已采纳
我需要用UPPAAL将一个系统建模为一个计时自动机，我对UPPAAL根据经过的时间来管理时钟和警卫的方式感到非常困惑:看起来UPPAAL只是忽略时钟保护！在UPPAAL模拟上运行时，我希望它在初始位置和A位置之间永远循环，永远不会转到B。但情况并非如此:它在A和B之间随机交替(至少使用最新的UPPAAL快照；我不能尝试发行版本，因为没有Linux 64版本)。
那我错过了什么？UPPAAL如何对待时钟警卫？DOCTYPE nta PUBLIC '-//<em
浏览 1修改于2015-01-23得票数 0
回答已采纳
1回答
然后我更改了模型，没有调用函数，也没有使用选择选项，但仍然...我想知道这要么是UPPAAL的问题，要么是我的模型。除内存耗尽外，没有其他错误。
浏览 2修改于2018-11-28得票数 0
1回答
我用UPPAAL建立了一个模型，并使用验证器检查死锁。答案是:财产没有得到满足。因此，存在着一个僵局。
UPPAAL中是否有一种方法可以报告更多关于死锁的信息，如特定情况下所有变量的状态和当前值？
浏览 4修改于2016-12-20得票数 0
回答已采纳
如何在UPPAAL中创建“终止”状态？如果状态没有边界，则执行将因死锁而停止。如果状态有一个没有任何保护的循环，则执行从未停止过。在没有死锁的情况下，停止模拟器执行的最佳方法是什么(如果有)？
浏览 1提问于2018-04-09得票数 0
回答已采纳
1回答
如何在UPPAAL中对多个同步进行建模？例如:状态更改会在不同的模板中同时触发另外两个状态更改。在synchronization字段中，我只能设置一个通道(sync1！或者同步！)。
浏览 11提问于2019-10-22得票数 1
腾讯云开发者
Copyright © 2013 - 2026 Tencent Cloud. All Rights Reserved. 腾讯云 版权所有
深圳市腾讯计算机系统有限公司 ICP备案/许可证号：粤B2-20090059 
粤公网安备44030502008569号
腾讯云计算（北京）有限责任公司 京ICP证150476号 | 京ICP备11018762号