Downloading macos 4.0.13 and also the latest 4.1, I get a message that Uppaal64.app is damaged etc.
A colleagues version of 4.0.13, opens, but then the GUI deadlocks!
I have the Java 7 JRE installed.
I am experiencing the same issue as Jonathan.
OSX 0.9 Mavericks
Java SE Version 7 Update 45
Ok, it seems that the instructions on the "Known Issues" page work. See item #16 here:
> 16. You cannot install UPPAAL on Mac OS Lion or later.
> Delete the dmg file you downloaded.
> Open Preferences.
> Open Security and Privacy.
> Select "Allow applications downloaded from: " anywhere.
> Download UPPAAL again and install.
After doing this and opening UPPAAL.app once, you can change your preferences back to the way they were and UPPAAL should continue to work.