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

Bug 538

Summary: Internet Connection Problem (Windows-7)
Product: UPPAAL Reporter: Bora KARTAL <e129248>
Component: GUIAssignee: Alexandre David <adavid>
Status: NEW ---    
Severity: major    
Priority: P5    
Version: 4.0.0   
Hardware: PC   
OS: Other   
Architecture:

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 "www.uppaal.org".

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