UPPAAL
Replies: 1 comment 1 reply
-
|
It is not possible to get all traces to some state, in part because there can be an infinite amount of such traces. But what do you want to use all those traces for? Maybe there is some other way of achieving it. |
Beta Was this translation helpful? Give feedback.
1 reply
-
|
I'm using uppaal for reachability analysis, and I'm trying to get all the symbolic traces so I know which scenarios will reach the specified location. |
Beta Was this translation helpful? Give feedback.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Can uppaal get all traces arriving at a location and does the java api for uppaal support this?
Or does UPPAAL have access to all counter-example traces?
Beta Was this translation helpful? Give feedback.
All reactions