可用於從 LTL 公式產生監視器的工具集合("看門狗") 。這從運行時驗證區域知道。有關詳細資訊,請參閱關聯的專案主頁。
版本歷史記錄
- 版本 0.0.7 發佈於 2009-04-01
若干修復和更新 - 版本 0.0.7 發佈於 2009-04-01
軟體細節
- 軟體分類: 教育 > 其他
- 發佈者: ltl3tools.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 0.0.7
- 作業系統: windows
可用於從 LTL 公式產生監視器的工具集合("看門狗") 。這從運行時驗證區域知道。有關詳細資訊,請參閱關聯的專案主頁。