Discussions

• 1 You must be logged in to vote

  🙏

  Is it possible to write the declaration section in python

  fkgl asked Feb 10, 2023 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  #️⃣

  New framework for prototyping UPPAAL language features

  sdfg610 announced Jan 6, 2023 in Announcements

  

  

  0
• 1 You must be logged in to vote

  #️⃣

  Uppaal Stratego 11 Released

  yrke announced Jan 2, 2023 in Announcements

  

  

  0
• 1 You must be logged in to vote

  🙌

  Possible bugs in version 4.1.20-stratego-11

  rgu01 asked Dec 27, 2022 in Show and tell · Answered

  

  

  7
• 1 You must be logged in to vote

  🙏

  Adding guards causes inexplicable behaviour changes elsewhere

  bug Something isn't working confirmed critical SMC

  AsgerHB asked Nov 9, 2022 in Q&A · Answered

  

  

  3
• 1 You must be logged in to vote

  🙏

  Problem loading external functions; wrong version of libc?

  AsgerHB asked Oct 24, 2022 in Q&A · Answered

  

  

  9
• 1 You must be logged in to vote

  🙏

  Is an API for the UPPAAL GUI provided?

  m5261136 asked Oct 13, 2022 in Q&A · Answered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Adressing specific instances of templates in UPPAAL-C

  AsgerHB asked Oct 22, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  How can I interpret the trace, or is there a documentation for the trace?

  sumin963 asked Sep 28, 2022 in Q&A · Answered

  

  

  1
• 0 You must be logged in to vote

  🙏

  What is "ConstStateDecorator::getFPValues is not supposed to be called " error

  NitishNY asked Sep 17, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  UPPAAL STRATEGO 10 Beta 10 asks for a license key

  AsgerHB asked Sep 5, 2022 in Q&A · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Converting double to integer using fint() is not working. Is there any alternative for this?

  NitishNY asked Sep 19, 2022 in Q&A · Unanswered

  

  

  3
• 2 You must be logged in to vote

  🙌

  Deadlock for a time invariant in UPPAAL 4.1.25-5 but not in UPPAAL 4.0.15

  AlCourbis asked Aug 10, 2022 in Show and tell · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Is it possible to specify something that is not synchronous (such as an action name or event name) on the edge?

  rkay8496 asked Jul 19, 2022 in Q&A · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  How to use UPPAAL's API to get all Symbolic traces?

  Lqs66 asked Jun 15, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  In the edge edit panel there is a radio button labeled "Controllable"; what is it?

  pacalet asked Jun 22, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  UPPAAL 4.1.26 - 64bit: Index out of bounds

  bug Something isn't working

  sschivo asked Jun 8, 2022 in Q&A · Unanswered

  

  

  1
• 1 You must be logged in to vote

  🙏

  Location time-locked when A[] not deadlock

  deliarico asked May 12, 2022 in Q&A · Unanswered

  

  

  

  

  2
• 1 You must be logged in to vote

  🙏

  Verifier is stuck connecting to server

  AsgerHB asked May 19, 2022 in Q&A · Answered

  

  

  

  

  9
• 1 You must be logged in to vote

  🙏

  Server exited with error 134. Check whether OS is supported.

  senniraf asked May 24, 2022 in Q&A · Answered

  

  

  

  

  3
• 1 You must be logged in to vote

  🙏

  Problems connecting to server

  alzeha asked May 21, 2022 in Q&A · Answered

  

  

  

  

  9
• 1 You must be logged in to vote

  🙏

  4.1.20-stratego-9 without --print-strategies option

  guiok asked Apr 26, 2022 in Q&A · Answered

  

  

  2
• 1 You must be logged in to vote

  🙏

  Diagnostic traces with UPPAAL 4.1.20-stratego-9

  pacalet asked Feb 22, 2022 in Q&A · Unanswered

  

  

  3
• 2 You must be logged in to vote

  #️⃣

  UPPAAL Stratego 9 Released

  yrke announced Jan 24, 2022 in Announcements

  

  

  0
• 2 You must be logged in to vote

  #️⃣

  UPPAAL Stratego 8 Released

  yrke announced Jan 10, 2022 in Announcements

  

  

  0