MCMAS-C Model Checker

相關軟體

• MConvert - Multiformat Converter 免費

  MConvert 是一個開源專案，旨在開發一個用於轉換檔的工具。通過使用其他開源工具，MConvert 希望提供廣泛的轉換檔案格式。

• WinCRC32 免費

  WINCRC32 使用 CRC-32 技術檢查每個檔，並通知您任何潛在的壞，損壞，大小不正確或丟失的檔，以節省您的下載時間，只發現您有 1 個檔丟失或最後一個檔有一個 CRC 校驗和錯誤。使用標準 SFV 檔完成 CRC 值比較。如果 SFV 檔不可用，可以產生具有計算 CRC 值的新檔案。WIN-SFV 相容。您可以在 SFVfile 中插入建立者和註解。德語和英語版本。

• Web Pictures Downloader 免費試用

  網路圖片下載器是一個互聯網圖片下載器下載圖片，照片，圖像，JPG，GIF從網路或互聯網。它可以訪問您最喜愛的網站，同時最多包含 8 個線程。它分析網站的結構，查找圖片和照片（JPG，GIF），並下載到您的硬碟，讓你看到圖片在自己方便以後。它使圖片下載一個有趣的任務做。享受您的下載圖片之旅與網路圖片下載器！{@}

• A shoot'em up game for the Maemo 免費

  一個等軸測拍攝他們的遊戲為 Maemo 平臺。基本的想法是生成一個遊戲，玩家（或玩家）可以生成自己的角色，並互相攻擊或電腦控制的敵人。

• SudokuGenerator in c++ and stl 免費

  數獨益智發生器，產生數獨謎題與給定的難度水準。生成的謎題有一個獨特的解決方案，可以解決沒有回溯或猜測。該軟體使用 stl 的視窗平臺以 c++ 編寫。

• Oxygen Basic 免費

  壓縮的可嵌入 JIT 編譯器，用於讀取 C 標頭並編譯為 x86 計算機代碼。直接在記憶體中執行或創建 DLL 和 EXE 檔。支援重載和 OOP。當前可用於MS平臺。64 位正在進行中

• Lua Conio 免費

  Lua Conio 是 Turbo C conio 的包裝器， 用於建立由 Gabriele Secci 開發的文本使用者介面。

• Book Keeper System 免費

  使用 Struts + JSTL 和 JDBC 用 Java 編寫的簡單庫管理系統。 使用經典的分層體系結構方法。 目前， Daos 開箱即用 mySql 工作。

• Counter Strike 1.6 File 免費

  tlchargez des fichiers 在融洽 avec le 服務 [Tfs21] 火狐伺服器

• Multimodal Engine Platform 免費

  MME系統是一種需要在異構設備之間進行通信，並使用不同類型的模式建立使用者與應用程式之間的通信。