UPPAAL

UPPAAL 4.0.6

UPPAAL是一個集成工具環境建模,確認和驗證建模為時間自動機的網絡,擴展數據類型(整數界,數組等)的實時系統。UPPAAL CORA是UPPAAL的成本優化可達Anslysis一個分支由UPPAAL團隊為VHS和AMETIST項目的一部分開發的。而支持UPPAAL時間自動機的模型檢測,UPPAAL CORA使用時間自動機稱為LPTA的延伸。 LPTA允許你註釋模型與成本的概念。這可以是延遲在某些情況下或特定行動的成本的成本。 UPPAAL CORA然後找到匹配的目標條件下的最佳路徑。UPPAAL...