This issue tracker is closed. Please visit UPPAAL issue tracker at Github instead.

Bug 538 - Internet Connection Problem (Windows-7)
Summary: Internet Connection Problem (Windows-7)
Status: NEW
Alias: None
Product: UPPAAL
Classification: Unclassified
Component: GUI (show other bugs)
Version: 4.0.0
Hardware: PC Other
: P5 major
Assignee: Alexandre David
Depends on:
Reported: 2012-05-01 13:17 CEST by Bora KARTAL
Modified: 2012-05-01 13:17 CEST (History)
0 users

See Also:


Note You need to log in before you can comment on or make changes to this bug.
Description Bora KARTAL 2012-05-01 13:17:40 CEST
I am using UPPAAL (academic version) for my Phd thesis. I was using it without any problem. However it begins giving internet connection error. It is opening with a warning "Please restart UPPAAL with internet".

I searched the internet for a solution. I recognized that i can not access the the academic webpage "".

What is the problem?
Is the licence server for the academic version is down?
Can i continue using the tool without an internet connection?