MCMAS-SC model checker

相關軟體

• CHLone 免費

  CHLone 捆綁包是 SIDS 到 HDF5 的符合 CGNS/SIDS 標準的映射應用，包含 3 個用於應用程式開發的介面級別。這些是：- C1 CGNS/MLL 複製，與 CGNS/MLL 相同的 API- A2 應用程式 API，基於 SIDS 類型的使用者介面- L3 低級庫，管理原始 HDF5 節點

• FactotumNOW IAS Reporting 免費試用

  FactotumNow IAS 報告通過可安裝在 VPN/IAS 伺服器上的引擎導入 IAS/RRAS （微軟 VPN） 日誌檔。然後，IAS（®互聯網身份驗證服務）統計資訊每兩分鐘自動更新一次。可以通過舒適的主控台查看報告，並匯出到Microsoft Excel（如果已安裝）。報表檢視器可以直接從網路上的任何桌面或 IAS/RRAS 伺服器上遠端運行。FactotumNOW IAS 報告允許您立即查看： - 共用 IP 的使用者 - 使用者的來

• Flash-Creator 免費試用

  Flash Creator 是一個快速且令人耳目一新的易於使用的工具，用於創建動畫 Flash 徽標、橫幅、簡介、標題和任何其他您能想像開箱即用的工具。它為您提供了一個點擊式設計環境，允許任何人，無論Flash技術的創造力和知識如何，將文本、向量物件和圖像混合到引人入勝的Flash動畫中，讓您的網站具有專業的外觀。Flash Creator 的動畫具有非常小的檔大小，只有 10-20 Kb，並且不需要很長時間才能在網頁上載入。Flash C

• SAW (Small Artificial World) 免費

  SAW（小人工世界）是自然進化的類比。世界上有許多人工生物，它們可以相互交流，進行生存之戰。採用遺傳演算法和神經網路。生物學是一種靈感。

• evids video intrusion detection system 免費

  Evids 是一個視頻入侵檢測用戶端/伺服器系統。自動化監控軟體提供對傳入視頻的全職監控信號。此外，Evids 是一個免費的開源專案，在很多板形式。

• Accessibility plugins for Liferay 免費

  此 projet 的目的是提供一組擴展（外掛程式），以增強 Liferay 門戶上的可存取性體驗。

• SynchroJet 免費試用

  SynchroJet 是一個易於使用的備份和同步實用程式，可與本地源、LAN、FTP/SSL 一起使用。借助 SynchroJet，您可以輕鬆地使所有重要檔在伺服器、桌上型電腦、筆記型電腦、LAN、FTP 等之間保持同步。SynchroJet 同步是備份重要數據的優秀安全措施，為使用者提供了在出現任何伺服器問題時繼續在本地工作的選項。SynchroJet 具有靈活的過濾系統，僅可保持所需的檔案同步。它只同步自上次同步以來已創建、更改或刪除的

• ControlK 免費

  這是一個非常簡單的外掛程式為JEdit。它添加 Eclipse control-K 功能，即：查找所選文本的下一個匹配項。

• emulare 免費

  埃穆拉是一個阿杜伊諾模擬器。它允許您在模擬中運行arduino程式。它完全支持阿爾杜伊諾杜米拉諾夫內的所有設備。它有一個用於調試的 GDB 介面。它有一個完整的圖形介面，以幫助測試。

• Music Shuffling 免費

  .net 3.5 應用程式，允許使用者在 ipod 或其他設備中隨機播放音樂。完整的功能與選擇隨機檔，也洗牌每個檔。