Uppaal cannot connect server

[卢万里]

Hello everyone,

Now I have a problem that Uppaal GUI cannot connect to its server, I tried on two of my laptops with different Uppaal versions. The simulator and simulator2 Tabs are gray.

Like this below.

How can I do, to fix this?

Thanks!

[卢万里]

And this is the error I got when I tried to link the engine again using Remote and Bundled

[Marius Mikučionis]

Hi,

The remote engine option assumes that there is an independent UPPAAL server is started... anyway, it's unrelated. 

I suspect, that the issue is the bug in license code related to unicode characters either in the computer name or user settings path (where UPPAAL stores the license information).

This issue has been fixed in UPPAAL-5.1.0-beta4. 

Could you please try UPPAAL-5.1.0-beta5 instead? 

UPPAAL-5 includes Stratego functionality, so your experience should be much better there.

Best regards,
Marius