I am learning about Formal Verification and I am supposed to use UPPAAL to which I am new. However, every time I start UPPAAL, I am greeted with the following error:
java.io.IOException: Server Connection Lost
Is there any way to fix this error? I am using Ubuntu 12.04 as my OS on a 64 bit machine. I looked at the following posts, but since I am new to UPPAAL, I am unable to figure out the solution:
http://bugsy.grid.aau.dk/bugzilla/show_bug.cgi?id=319
http://www.uppaal.com/index.php?sida=201&rubrik=95
http://forums.globalscape.com/Topic29575.aspx
https://groups.yahoo.com/neo/groups/uppaal/conversations/topics/2587
Any help would be appreciated in this regard!
