Extended NuSMV 1.1
NuSMV 的擴展版本,支援 ETL 和 APSL 的符號模型檢查
版本歷史記錄
- 版本 enusmv%201.1 發佈於 2009-03-04
若干修復和更新 - 版本 enusmv 1.1 發佈於 2009-03-04
軟體細節
- 軟體分類: 發展 > 其他
- 發佈者: enusmv.sf.net
- 軟體性質: 免費
- 價格: N/A
- 版本: 1.1
- 作業系統: linux
相關軟體
-
Voice Widget 免費
只需按一下即可啟動錄音機、Youtube、電視或收音機、資源管理器或搜索。2個美麗的小部件連結您的手機錄音機,Youtube,電視或收音機,探險家或搜索。設計風格就像 HTC 感。支持我們購買完整的版本,其中包含4個新的美麗的小部件。指示:1. 請轉到您的主畫面2. 在空白空間上按住手指,你會看到"添加到主屏幕"對話方塊3. 選擇"小工具";4. 請從小部件清單中選擇"無語音""加入 Facebook 群
-
ZIPCodeWorld Store Locator .NET Component 免費試用
ZIPCodeWorld 商店定位器 .NET 是所有 .NET 開發人員的儲存定位器控制項。您自己的美國或加拿大商店定位器服務可以在幾分鐘內啟動並運行。ZIPCodeWorld 商店定位器 .NET 為多個專案提供拖放ASP.NET控件。該控件允許您的客戶通過郵政編碼查找離他們最近的轉銷商、商店或位置。結果顯示每個位置與客戶的距離,甚至地圖。特徵* 安全管理員控制台* 按半徑和記錄限制結果* 顯示一般商店的詳細資訊和自定義欄
-
Mobile Data On/Off Toggle 免費
移動數據開/關切換移動數據開/關切換切換器移動數據開/關切換切換器移動數據開/關切換器非常簡單的移動數據控制軟體!支援 SD 卡安裝(安卓 2.2 Froyo)APK 大小 = 9KB(非常小!)移動數據打開至關閉。移動數據關閉到 ON.HTTP://www.neko.ne.jp/=自由翼/機器人/版權(c)2011免費 WING,Y.Sakamoto
-
OCF Resource Agent for SAP 免費
提供 OCF(開放群集框架)相容的資源代理,以在 Linux 高可用性群集(如 Linux-HA 專案)中運行 SAP 軟體。
-
Wintermute Engine DevKit 免費
Wintermute 引擎開發工具套件是一組用於建立和運行圖形點和點擊冒險遊戲的工具,包括傳統的 2D 遊戲和現代 2.5D 遊戲(2D 背景上的 3D 字元)。
-
Aginity Netezza Workbench 免費
Aginity 是 Netezza 解決方案供應商的合作夥伴。工作台誕生於我們對特定工具的支援,以支援我們在 Netezza 設備上開發大型系統的廣泛經驗。Workbench 提供其他類似產品中獨一無二的功能,包括:• 單擊一鍵訪問分發資訊,包括無人認領、已刪除的記錄,圖形顯示可輕鬆可視化每個節點存在的問題位置。• 回收功能,使開發人員能夠真正恢復被刪除的記錄佔用的伺服器空間,並釋放存儲空間供其他使用。• 其他 DDL 使開發人員能夠查看和更改表
-
xUnit - Unit Testing Framework 免費
xUnit 是一個 XP 樣式單元測試框架。xUnit 使用前端之間的協定來顯示測試結果和連結到應用程式的測試驅動程式 - 刪除應用程式和圖形之間的連結時間依賴關係,格式化庫。
-
perf2rrd 免費
perf2rrd 是一個用 Java (tm) 撰寫的程式,它捕捉 Nagios (R) 監控系統的效能資料輸出,並儲存在 RRDtool 的循環資料庫檔中。
-
MisterHouse: Home Automation with Perl 免費
先生豪斯是一個 Windows/Unix 家庭自動化程式寫在 Perl。它可以回應語音命令、Web 瀏覽器、時間、串行埠和 X10 數據、外部檔等,並且可以通過文本到語音引擎進行發言。
-
IFM - Interface Management System 免費
IFM(以前為wxIFM)是一個介面管理庫,旨在向應用程式添加可停靠視窗,為您的介面提供當今經驗豐富的電腦使用者所需的可自定義性。