Groups

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.

0 selected

compte secondaire, Marius Mikučionis2

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čionis4

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čionis2

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

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čionis6

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čionis2

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

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čionis7

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čionis3

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

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čionis2

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čionis2

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čionis3

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čionis2

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

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čionis2

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 Castiglione2

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čionis2

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čionis2

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

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čionis5

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

Search

Clear search

Close search

Google apps

Main menu