Groups
Groups
Sign in
Groups
Groups
UPPAAL
Conversations
Labels
GUI
Java
JavaAPI
Linux
Mac
SMC
UTAP
Windows
academic
all-questions
bug
commercial
documentation
editor
engine
help
simulator
stratego
syntax
testing
verifier
About
Send feedback
Help
UPPAAL
Contact owners and managers
1–4 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
Aristoteles Marçal
3/26/20
QueryVerificationResult variable value in system
Hi, After I run QueryVerificationResult do I have to take a value from a variable in my system?
unread,
JavaAPI
QueryVerificationResult variable value in system
Hi, After I run QueryVerificationResult do I have to take a value from a variable in my system?
3/26/20
Aristoteles Marçal
3/23/20
Erro multithread ModelDemo
Hi, I am trying to use the modedemo example as multithreaded and this error is appearing. Can someone
unread,
JavaAPI
Erro multithread ModelDemo
Hi, I am trying to use the modedemo example as multithreaded and this error is appearing. Can someone
3/23/20
Aristoteles Marçal
,
Marius Mikučionis
6
3/23/20
Erro QueryVerificationResult in example Model.jar in runtime
follow the code. Thank's. String options = "order 0\n" + "reduction 1\n" +
unread,
JavaAPI
Erro QueryVerificationResult in example Model.jar in runtime
follow the code. Thank's. String options = "order 0\n" + "reduction 1\n" +
3/23/20
Farnaz Ariafar
,
Marius Mikučionis
2
12/27/19
ModelDemo.jar file
Hi, Could you inspect the class path of your project? It should contain model.jar and uppaal.jar (
unread,
JavaAPI
ModelDemo.jar file
Hi, Could you inspect the class path of your project? It should contain model.jar and uppaal.jar (
12/27/19
