The PEP tool 2.0b
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/peptool/files/peptool/2.0beta4/peptool-2.0.beta4-solaris.tar.gz/download
關於 The PEP tool
PEP 是並行系統的建模和驗證架構,提供大量不同的建模語言和驗證技術(例如 SDL、Petri 網和模型檢查)
相關軟體
-
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)為小型嵌入式系統構建可啟動映射,並快照可重複構建的分發和配置檔。