提交軟體
  1. 首頁
  2. Linux軟體
  3. 其他
  4. The PEP tool

The PEP tool 2.0b

軟體性質： 免費 ‎檔案大小： N/A
‎使用者評分： 5.0/5 - ‎1 ‎評分
點擊下載

PEP 是並行系統的建模和驗證架構，提供大量不同的建模語言和驗證技術（例如 SDL、Petri 網和模型檢查）

版本歷史記錄

  • 版本 2.0beta4 發佈於 2004-09-13
    若干修復和更新
  • 版本 2.0beta4 發佈於 2004-09-13

軟體細節

相關軟體

  • JDPF 免費

    這個程式是一個開源軟體免費個人和商業使用，因此對於那些想要一個更知名的付費程式的替代品的完美選擇。

  • VDK Library 免費

    VDK 庫是一個C++框架，它綁定 GTK+ GUI 庫，為 Linux 和 Windows 提供，是 VDKBuilder 專案的基礎庫。最近，該專案被分割，VDK繼續由他自己開發。

  • Efes 免費

    基於位元組碼的方案 （R=5RS） 實現。快速、緊湊、穩定，適合教育和實驗。

  • Light Torch Flash Widget Pro 免費

    只需按一下即可打開/關閉相機的 LED（閃光燈）的小工具。像火炬一樣有用。

  • Ayra - VCL Report Generator 免費

    以 Delphi 編寫的報表設計器和生成器應用程式，具有 WYSIWYG 報表設計器、用於生成報表的 VCL 元件，適用於 Delphi 5 到 2006 年，以及用於呼叫的一些 CommandLine 應用程式。它僅在 Windows 和西班牙文中運行。

  • ES32 - EEG Analysis 免費

    ES32 是一個視窗程式，用於分析由 NEUROSCAN （tm） 獲取應用程式產生的 EEG 資料檔。

  • LJOS - Java and database integration 免費

    LJOS 代表單詞序列：Linux、JAVA、操作系統。這是嘗試創建直接位元組碼擴展到與資料庫緊密整合的 Linux 內核作為公共儲存。

  • DROIDinfo (Android 1.6+) 免費

    DROIDinfo 顯示有關 Android 設備的技術資訊。它面向希望從 Dalvik VM 中瞭解設備的硬體、Linux/Android 系統和 Java 屬性的開發人員。還有一個基準測試工具，用於測量設備的性能。

  • Lumbermill - Log4J/JSR47 GUI 免費

    Lumbermill 是 Log4j 和 （在 2.0） java.util.logging （JSR47） 的可視化日誌處理和分發中心。它是一個 Swing/GUI 獨立應用程式，支援查看和存檔日誌事件。

  • EmbeddedImageBuilder 免費

    此項目的目標是提供一種方法，基於原始包源（尤其是 buildroot）為小型嵌入式系統構建可啟動映射，並快照可重複構建的分發和配置檔。