Groups
Groups
Sign in
Groups
Groups
UPPAAL
Conversations
Labels
About
Send feedback
Help
UPPAAL
Contact owners and managers
1–30 of 111
Welcome to the new place of UPPAAL forum.
Please use the question template if you have issues or unexpected behavior of the tool.
Mark all as read
Report group
0 selected
compte secondaire
,
Marius Mikučionis
2
12/12/25
Cannot obtain license
Hi, I am sorry for disruption, I was adding some measures against spambots and broke the page. The
unread,
Cannot obtain license
Hi, I am sorry for disruption, I was adding some measures against spambots and broke the page. The
12/12/25
Paul Pettersson
7/9/25
Invitation to Submit: “30 Years of UPPAAL” Workshop at AISoLA 2025
Call for Papers: 30 Years of UPPAAL Workshop at AISoLA 2025 We are pleased to announce a special
unread,
Invitation to Submit: “30 Years of UPPAAL” Workshop at AISoLA 2025
Call for Papers: 30 Years of UPPAAL Workshop at AISoLA 2025 We are pleased to announce a special
7/9/25
Leonardo Liparulo
7/8/25
Feedback on project
Good afternoon everyone, i would like to receive some feedback on people surely more expert than me
unread,
Feedback on project
Good afternoon everyone, i would like to receive some feedback on people surely more expert than me
7/8/25
antjero...@gmail.com
6/19/25
Strategy synthesis with UPPAAL-5.0.0 - Questions regarding TCTL winning conditions AW and AU
Hi, I have some questions regarding the range of TCTL winning conditions that UPPAAL (Stratego)
unread,
Strategy synthesis with UPPAAL-5.0.0 - Questions regarding TCTL winning conditions AW and AU
Hi, I have some questions regarding the range of TCTL winning conditions that UPPAAL (Stratego)
6/19/25
Leonardo Liparulo
,
Marius Mikučionis
4
5/27/25
Unexpected behaviour
On Monday, 26 May 2025 at 19:49:10 UTC+2 leol...@gmail.com wrote: thank you very much, i think i was
unread,
Unexpected behaviour
On Monday, 26 May 2025 at 19:49:10 UTC+2 leol...@gmail.com wrote: thank you very much, i think i was
5/27/25
Hannes
,
Marius Mikučionis
2
11/4/24
UPPAAL; RAM and processor capacity
Hello, On Sunday 3 November 2024 at 12:13:33 UTC+1 Hannes wrote: Hello, I have modelled a system with
unread,
UPPAAL; RAM and processor capacity
Hello, On Sunday 3 November 2024 at 12:13:33 UTC+1 Hannes wrote: Hello, I have modelled a system with
11/4/24
John Baugh
2
10/20/24
UPPAAL-5.0.0 vs. UPPAAL-4.1.20-stratego-11 handling of hybrid guards
The same error is produced in Uppaal 5.0.0 (see attached) on the distributed "ball.xml"
unread,
UPPAAL-5.0.0 vs. UPPAAL-4.1.20-stratego-11 handling of hybrid guards
The same error is produced in Uppaal 5.0.0 (see attached) on the distributed "ball.xml"
10/20/24
Sailesh Sai Teja
9/30/24
Trace Generation issue when adding priority to process
Hello there, I am trying to have an priority for few process compared to others (In my case I want
unread,
Trace Generation issue when adding priority to process
Hello there, I am trying to have an priority for few process compared to others (In my case I want
9/30/24
Panos Marinou
, …
Marius Mikučionis
6
9/23/24
Problem - Error with server and license
I have posted a license fetching workaround here: https://github.com/orgs/UPPAALModelChecker/
unread,
Problem - Error with server and license
I have posted a license fetching workaround here: https://github.com/orgs/UPPAALModelChecker/
9/23/24
刘乔森
,
Marius Mikučionis
2
9/23/24
ModelDemo.java Compile Error
Hi, Thank you for the report. There were lots of changes and concurrency fixes in the API and we
unread,
ModelDemo.java Compile Error
Hi, Thank you for the report. There were lots of changes and concurrency fixes in the API and we
9/23/24
Raghav G
6/24/24
MITL queries in UPPAAL SMC
Hi all, I haven't been able to come up with strong probabilistic queries in UPPAAL SMC. There are
unread,
MITL queries in UPPAAL SMC
Hi all, I haven't been able to come up with strong probabilistic queries in UPPAAL SMC. There are
6/24/24
Raghav G
,
Marius Mikučionis
7
6/18/24
UPPAAL SMC - How to provide a time distribution data as an input for invariant at a location and/or a guard in a transition?
Hi, It turns that the race of several components with different clocks still results in a floating
unread,
UPPAAL SMC - How to provide a time distribution data as an input for invariant at a location and/or a guard in a transition?
Hi, It turns that the race of several components with different clocks still results in a floating
6/18/24
卢万里
,
Marius Mikučionis
3
6/7/24
Uppaal cannot connect server
Hi, The remote engine option assumes that there is an independent UPPAAL server is started... anyway,
unread,
Uppaal cannot connect server
Hi, The remote engine option assumes that there is an independent UPPAAL server is started... anyway,
6/7/24
Rags
5/24/24
UPPAAL: Server exited with error 3. Check whether OS is supported.
Hello all, I am using UPPAAL 4.1.26-1. After installation, even after I have the right version of
unread,
UPPAAL: Server exited with error 3. Check whether OS is supported.
Hello all, I am using UPPAAL 4.1.26-1. After installation, even after I have the right version of
5/24/24
Toni CESAR
,
Marius Mikučionis
2
5/17/24
Invariant problem
Hi, On Thursday 16 May 2024 at 20:17:59 UTC+2 cesar wrote: Good afternoon, first time writing here. I
unread,
Invariant problem
Hi, On Thursday 16 May 2024 at 20:17:59 UTC+2 cesar wrote: Good afternoon, first time writing here. I
5/17/24
刘乔森
,
Marius Mikučionis
2
4/9/24
Syntax error after importing lib
On Tuesday 9 April 2024 at 11:43:07 UTC+2 liuqia... wrote: Follow the steps from "https://github
unread,
Syntax error after importing lib
On Tuesday 9 April 2024 at 11:43:07 UTC+2 liuqia... wrote: Follow the steps from "https://github
4/9/24
刘乔森
3/27/24
How to use "EXTERNAL FUNCTIONS" in UPPAAL?
I found a description of "External Functions" in the UPPAAL documentation is there anything
unread,
How to use "EXTERNAL FUNCTIONS" in UPPAAL?
I found a description of "External Functions" in the UPPAAL documentation is there anything
3/27/24
刘乔森
,
Marius Mikučionis
3
3/15/24
Syntax checking issues with the uppaal GUI
Thanks for the reply, I have uploaded the uppaal file. 在2024年3月15日星期五 UTC+8 17:20:32<Marius
unread,
Syntax checking issues with the uppaal GUI
Thanks for the reply, I have uploaded the uppaal file. 在2024年3月15日星期五 UTC+8 17:20:32<Marius
3/15/24
Sailesh Sai Teja
,
Marius Mikučionis
2
2/6/24
Random numbers in UPPAAL
On Monday 5 February 2024 at 12:30:37 UTC+1 saiteja... wrote: Hello, Is there a way to assign a
unread,
Random numbers in UPPAAL
On Monday 5 February 2024 at 12:30:37 UTC+1 saiteja... wrote: Hello, Is there a way to assign a
2/6/24
samaye ismael
1/24/24
Question about the Optimization Strategy in UPPAAL with Stratego
Good evening, please, I have a question regarding the operation of UPPAAL with Stratego. When using
unread,
Question about the Optimization Strategy in UPPAAL with Stratego
Good evening, please, I have a question regarding the operation of UPPAAL with Stratego. When using
1/24/24
高大脚
1/22/24
Verification related problem
When I verify a property of the system, the verifier will generate a fastest trace satisfying the
unread,
Verification related problem
When I verify a property of the system, the verifier will generate a fastest trace satisfying the
1/22/24
Masoume Panahi
,
Marius Mikučionis
2
1/15/24
How to check a simple LTL formula in a TA
Hi, On Sunday 14 January 2024 at 22:39:12 UTC+1 masoume.panahi wrote: I have written several
unread,
How to check a simple LTL formula in a TA
Hi, On Sunday 14 January 2024 at 22:39:12 UTC+1 masoume.panahi wrote: I have written several
1/15/24
Imen Ben Hafaiedh
,
Luca Maria Castiglione
2
12/14/23
external function in UPPAAL
Hi, Perhaps this can help [1]. Have you had a look at it already? I am not sure you can use it as
unread,
external function in UPPAAL
Hi, Perhaps this can help [1]. Have you had a look at it already? I am not sure you can use it as
12/14/23
Sailesh Sai Teja
12/12/23
Modular design when building automata.
Hello, So I have this problem where I am trying to model multiple events in a program. Turns out the
unread,
Modular design when building automata.
Hello, So I have this problem where I am trying to model multiple events in a program. Turns out the
12/12/23
刘乔森
,
Marius Mikučionis
2
12/7/23
How to use string type in uppaal?
On Wednesday 6 December 2023 at 09:26:18 UTC+1 liuqiaosen666 wrote: According to "https://docs.
unread,
How to use string type in uppaal?
On Wednesday 6 December 2023 at 09:26:18 UTC+1 liuqiaosen666 wrote: According to "https://docs.
12/7/23
samaye ismael
,
Marius Mikučionis
2
11/28/23
Saving simulations using Uppaal's "verifyta" feature.
On Wednesday, 11 October 2023 at 20:29:39 UTC+2 samayeismael wrote: Hello, please, I would like to
unread,
Saving simulations using Uppaal's "verifyta" feature.
On Wednesday, 11 October 2023 at 20:29:39 UTC+2 samayeismael wrote: Hello, please, I would like to
11/28/23
samaye ismael
11/17/23
Documentation on the learning parameters of Uppaal Stratego.
Hello, I have been using Uppaal Stratego for some time now, but I am encountering issues during the
unread,
Documentation on the learning parameters of Uppaal Stratego.
Hello, I have been using Uppaal Stratego for some time now, but I am encountering issues during the
11/17/23
Jozimar Custódio
10/31/23
Development non-timed hybrid system
Hello, I'm interested in understanding whether it's feasible to model a non-timed hybrid
unread,
Development non-timed hybrid system
Hello, I'm interested in understanding whether it's feasible to model a non-timed hybrid
10/31/23
samaye ismael
,
Marius Mikučionis
5
10/11/23
Sub-optimal Solutions in Uppaal-Stratego compared with Solutions Identified by Simulation
Hello, please, I would like to have your opinion on the results I obtain with Uppaal Stratego. Indeed
unread,
Sub-optimal Solutions in Uppaal-Stratego compared with Solutions Identified by Simulation
Hello, please, I would like to have your opinion on the results I obtain with Uppaal Stratego. Indeed
10/11/23
刘乔森
9/12/23
Can UPPAAL get all the counterexamples?
Hi. When I enter A[] not Automata.locationA in the validation screen for reachability analysis, I can
unread,
Can UPPAAL get all the counterexamples?
Hi. When I enter A[] not Automata.locationA in the validation screen for reachability analysis, I can
9/12/23