Discussions

• 1 You must be logged in to vote

  🙏

  How to test, as a query, whether when Guards X is true the delay time between transitions from state A to state B is always less than a Y time interval.

  denizcaygoz asked May 9, 2025 in Q&A · Unanswered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Add Branch Point with Prob weight. is not working

  denizcaygoz asked May 11, 2025 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How is the value of delays in transition determined in Concrete Simulator?

  denizcaygoz asked May 7, 2025 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  💡

  Can UPPAAL offer a special variable for Guard-statements?

  denizcaygoz started May 8, 2025 in Ideas

  

  

  1
• 1 You must be logged in to vote

  🙏

  How to declare enum in Declarations and use in Models?

  denizcaygoz asked May 8, 2025 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  How to simulate a random real-time variable in a model at execution time, and use Symbolic Simulator to manually execute transitions of another model, both at the same time?

  denizcaygoz asked May 3, 2025 in Q&A · Answered

  

  

  5
• 0 You must be logged in to vote

  🙏

  Questions about the simulate query

  tintengrun asked Nov 11, 2024 in Q&A · Answered

  

  

  8
• 1 You must be logged in to vote

  🙏

  Running Verifyta in docker containers.

  linem-davton asked Nov 7, 2024 in Q&A · Answered

  

  

  4
• 1 You must be logged in to vote

  🙏

  UPPAAL; RAM and processor capacity

  Hannes11235 asked Nov 2, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  UPPAAL; RAM or processor capacity for verification

  Hannes11235 asked Nov 2, 2024 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  UPPAAL 4.1.26 server exited with error 3 when requesting license

  bug Something isn't working confirmed upstream bug A bug in an upstream lib or dependency

  linhngocle2000 asked May 26, 2024 in Q&A · Answered

  

  

  

  

  5
• 1 You must be logged in to vote

  🙏

  Question about 1-to-Many Synchronization in UPPAAL

  Szpilman2 asked Oct 21, 2024 in Q&A · Answered

  

  

  4
• 0 You must be logged in to vote

  🙏

  error: Server received SIGSEGV signal

  bug Something isn't working confirmed

  meowwwwww95 asked Sep 22, 2024 in Q&A · Unanswered

  

  

  3
• 1 You must be logged in to vote

  🙏

  ModelDemo.java Compile Error

  Lqs66 asked Sep 21, 2024 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  clock rate customization for each timed automaton in UPPAAL

  Szpilman2 asked Sep 10, 2024 in Q&A · Answered

  

  

  2
• 0 You must be logged in to vote

  🙏

  How to get time used with verifyta?

  Mars-bwu asked Aug 31, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Find minimum value in learning queries

  Szpilman2 asked Apr 22, 2024 in Q&A · Answered

  

  

  

  

  13
• 1 You must be logged in to vote

  🙏

  calculate conditional cumulative duration in UPPAAL

  Szpilman2 asked Jun 26, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  comparing stopwatch clock value in UPPAAL

  Szpilman2 asked Jun 25, 2024 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Why doesn't UPPAAL try to take all the paths?

  Lqs66 asked Jun 11, 2024 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Do the functions of UPPAAL 5.0 include those of UPPAAL tiga?

  anuli1234566777765768 asked May 31, 2024 in Q&A · Unanswered

  

  

  4
• 1 You must be logged in to vote

  🙏

  Verifying Total Sojourn Time in a Specific State in UPPAAL

  Szpilman2 asked May 22, 2024 in Q&A · Answered

  

  

  10
• 1 You must be logged in to vote

  🙏

  Bugs in the “external function” feature?

  Lqs66 asked May 22, 2024 in Q&A · Closed · Unanswered

  

  

  0
• 1 You must be logged in to vote

  🙏

  UPPAAL GUI is not fully displayed

  Lqs66 asked May 18, 2024 in Q&A · Unanswered

  

  

  6
• 1 You must be logged in to vote

  🙏

  Strange problems encountered with uppaal 5.0.0

  Lqs66 asked May 18, 2024 in Q&A · Unanswered

  

  

  3