|Summary:||Internet Connection Problem (Windows-7)|
|Product:||UPPAAL||Reporter:||Bora KARTAL <e129248>|
|Component:||GUI||Assignee:||Alexandre David <adavid>|
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?