UPPAAL

UPPAAL 4.0.6

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

UPPAAL TIGA

UPPAAL TIGA 4.1.0-0.9

UPPAAL TIGA是UPPAAL [BDL04]的延伸,它實現了第一個有效的即時算法求解基於定時遊戲自動機相對於可達性和安全性的遊戲。雖然定時遊戲長期被稱為是可判定出現到現在一直缺乏有效和真正的即時算法分析道。UPPAAL...

閱讀更多
xmmsctrl

xmmsctrl 1.9

xmmsctrl是一​​個小工具來控制命令行XMMS。 xmmsctrl的目標是可以使用結合的sh測試xmms的狀態,並執行適當的動作,例如如果播放暫停,然後玩別的。這樣做的利益是綁定鍵在窗口管理器可以控制XMMS與那些播放/下一首/暫停,上一個,聲音控制鍵...配置:創建在你的home目錄下的一個目錄.FancyLauncher然後複製插件目錄中:CP -r的/ usr /本地/ FancyLauncher /插件〜/ .FancyLauncher...

閱讀更多