Uppaal

UPPAAL是一個集成的工具環境,被用來對被轉換時間自動機網路模型實時系統進行建模、校驗和驗證。

基本介紹

  • 中文名:Uppaal
  • :一個集成的工具環境
  • 學術為目的:免費得到
  • 商用:支付一定的費用
它是由瑞典Uppsala 大學的信息技術學院和丹麥Aalborg大學的計算科學學院聯合開發的。當前官方的發布版本為 Uppaal 4.0.13(2010年)。
以學術為目的的話,該工具可以免費得到,若是商用的話則需要支付一定的費用。

相關詞條

熱門詞條

聯絡我們