[英]Uppaal error : java.io.IOException: Server Connection lost
我目前正在研究形式驗證，我必須使用 uppaal，這是我的新手。 但是，如果我運行 uppaal，則會出現錯誤
java.io.IOException：服務器連接丟失
有什么辦法可以解決嗎？ 我正在使用 ubuntu 16.04 和 openjdk8
我正在查看以下帖子
UPPAAL 錯誤 - java.io.IOException: 服務器連接丟失
但我仍然無法找出解決方案
在這方面的任何幫助將不勝感激！
檢查您是否使用與您的操作系統匹配的 UPPAAL 版本（即 32 位、64 位）。
我收到此錯誤，問題是 UPPAAL 和操作系統架構之間不匹配。
我遇到了同樣的問題，並通過安裝32 位 Virtualbox VM （ Ubuntu 16.04.1、32 位）和 Oracle 的Java 6解決了這個問題，請參見此處。
在虛擬機內部， UPPAAL 4.0.14工作正常，服務器沒有崩潰。
UPPAAL 錯誤 - java.io.IOException: 服務器連接丟失
[英]UPPAAL error - java.io.IOException: Server Connection Lost
錯誤打開連接 java.io.IOException：服務器返回 HTTP 響應代碼：URL 501
[英]Error opening connection java.io.IOException: Server returned HTTP response code: 501 for URL
獲取java.io.IOException：在getInputStream上寫入服務器時出錯
[英]Getting java.io.IOException: Error writing to server at getInputStream
java.io.IOException：在Weblogic服務器上使用AsyncRestTemplate時，連接被對等方重置
[英]java.io.IOException: Connection reset by peer' when using AsyncRestTemplate on weblogic server
聲明:本站的技術帖子網頁，遵循CC BY-SA 4.0協議，如果您需要轉載，請注明本站網址或者原文地址。任何問題請咨詢:yoyou2525@163.com.
