问题
I installed Uppaal 4.1.23 on Mac OS 10.15 but I get an error. What do I do?
回答1:
MacOS 10.15 Catalina seems to enforce binary notarization, i.e. the binaries must be signed by a certified developer in order to be able to run. Uppaal binaries are not signed, thus Catalina issues an error:
Clicking "Cancel" will abort the execution and Uppaal will display a popup "Server exited with error 137".
Clicking "Move to Bin" will delete the server binary and thus destroy the distribution. Any subsequent run or simulator reload will issue "Server exited with error 126". I suspect that this is what happened.
Getting a developer certificate will take some time.
A workaround is to open System Preferences/Security & Privacy/General:
Find a line "server.bin was blocked from use because it is not from an identified developer", click "Allow Anyway".
In Uppaal click
View/Reload Simulator.Catalina will probably make another popup for each library and each library will have to be allowed in the
System Preferences/Security & Privacy. This is a bit tedious, because there are 6 binaries and libraries in total, but this is the most secure for now and has to be done once per installation (I would suggest making a copy of the image content, because remounting the image will require the same permission granting again).
Alternatively one may disable the signature checking once and for all by running the following command at the terminal (it will ask for user password):
sudo spctl --master-disable
Then System Preferences/Security & Privacy/General will look as follows and it will not ask for permissions anymore:
This setting is not secure if the user starts running arbitrary program from internet.
Once Uppaal is running normally (check at least that the simulator works with a demo/train-gate.xml example), the setting can be rolled back to re-enable the protection with the following command at the terminal:
sudo spctl --master-enable
The previously used Uppaal installation should continue running without asking.
来源：https://stackoverflow.com/questions/58780213/check-whether-os-is-supported-error-in-uppaal-4-1-23-on-mac-os-catalina-10-15