LTL3 tools 0.0.7
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/ltl3tools/files/ltl3tools/0.0.7/ltl3tools-0.0.7.tar.gz/download
關於 LTL3 tools
可用於從 LTL 公式產生監視器的工具集合("看門狗") 。這從運行時驗證區域知道。有關詳細資訊,請參閱關聯的專案主頁。
相關軟體
-
Neve 免費
NEtwork 視覺化環境是網路的 3D 可視化和互動框架,尤其是即時和類比工具作為網路的通訊網路。基於 JMX/Java3D。
-
Wikidsmart 免費
zAgile 的 Wikidsmart 將匯合變成一個語義維琪和知識存儲庫。構建於 zCALM(用於應用程式互通性的語義 Web 基礎結構)上,當添加工具和應用程式的連接器時,它將成為資訊儀表板
-
sdf2xyz2sdf 免費
一種開源軟體,可將 SDF 檔案轉換為 TINKER XYZ 檔案(和副檔),可自動分配 MMFF94 原子類型、鍵類型和電荷
-
Alcoholics Anonymous 12 Steps 免費試用
協助戒毒,為任何AA成員提供有用的參考。大書, 清醒計算機, 12 步和傳統, 查找 AA 會議, 祈禱.功能包括:大書 -原創自助指南,包含許多故事。第二版,避免版權問題。快速參考 - 12 個步驟和 12 個傳統,説明您保持正軌。清醒計算機 - 有用的工具,找出你清醒了多久。還具有祈禱和快速訪問找到當地的酗酒者匿名會議。免責聲明:僅包含《大書》第一版和第二版的故事。大書和酒精匿名是AA世界服
-
Drum Count 免費
鼓計數是一個簡單的工具,可以即時分析聲音,以測量在鼓上演奏的筆劃數。
-
FBReader LitRes plugin 免費試用
FBReader 和集成litres.ru功能。一鍵式升存儲訪問。直接從FBReader註冊新用戶,通過簡訊和信用卡為您的帳戶添加費用。
-
quickdoc 免費
QuickDoc 是 java 文件解析器,它使用簡單的語言從純文字檔讀取文件,然後將文檔匯出為其他格式,如 PDF、HTML、JAva 説明和 XML。
-
The Earth Science Markup Language 免費
ESML 是一種利用外部元數據的交換技術,允許應用程式以異構格式與地球科學特定數據集無縫地連接和播放。
-
RoboCup GameController 免費
RoboCup 遊戲控制器是 RoboCup 人形聯盟和標準平台聯盟中使用的開源軟體。裁判命令通過無線網路發送到賽場上的機器人,以達到玩家的更高自主性。
-
PMath 免費
PMath 是一個基於棕櫚的所見即所得的數學文本編輯器,有可能將它們轉換為 LaTeX。