Replies: 1 comment
-
Uppaal distribution includes
|
Beta Was this translation helpful? Give feedback.
0 replies
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
Hello,
I would like to run an emptiness check on timed automata using UPPAAL. Are there any specific command-line options that can do this without invoking the GUI?
Thanks
Beta Was this translation helpful? Give feedback.
All reactions