URL Error

UPPAAL could not launch your web browser to open the targeted URL. The default command does not seem to work. Under

Please find your favorite web browser and insert in the uppaal start file: -webBrowser your_web_browser.

Also lease check that: