Triple-A 1.4.1
您將能夠在 5 秒內下載。
您也可以點擊以下外部下載連結開始下載:
http://sourceforge.net/projects/triple-a/files/triple-a/1.4.1/triple-a-1.4.1.zip/download
關於 Triple-A
Triple-A(使用自動機進行自動分析)是一個功能齊全的庫,用於使用JAVA編寫的(有限)自動機,具有兩種強大的分析工具(處理LTL模型檢查和預導式數學),並圍繞它構建一個圖形用戶介面。
相關軟體
-
Parallel partition for string qsort/qsel 免費
字串快速排序(-選擇)的順序和並行實現。文章:關於具有數位訪問/組合數位訪問和並行分區進行快速排序和快速選擇的 BT(和相關演算法)中的字串查找數。
-
pgreplay 免費
讀取 PostgreSQL 資料庫日誌檔,提取 SQL 語句,並針對另一個資料庫伺服器按相同的順序和計時執行它們。適用於具有實際工作負載的效能測試。
-
ldapenum 免費
ldapenum 是一個 perl 文稿,用於在鎖定 IPC$ 時使用 LDAP 服務枚舉來自域控制器的系統和密碼資訊。該腳本已在視窗和 linux 上進行了測試。該腳本仍處於起步階段。
-
F2Ashell 免費
此命令列管理程式允許您有一個簡單的文本介面來探測代碼。您的代碼必須與 DLL 庫相關才能與 shell 進行互動。提供了實現此值的範本。專案網址:HTTP://sites.google.com/site/f2ashell/
-
DataModeler 免費
專案正在以不同名稱開發:請訪問 http://sourceforge.net/projects/modelbuilder/ 數據模型為科學家和工程師提供查找任何數據集的任何多變數模型(兩者可能有多複雜或多大)的許可權。
-
GFFT 免費
使用基於策略的設計和範本元程式設計在一個解決方案中通用簡單高效的快速四聯轉換 (FFT) C++
-
SASUnit 免費
SASUnit 是 SAS(TM)程式的單元測試框架。它可用於 SAS 程式測試的開發、執行和自動文檔。SASUnit 完全基於 SAS 宏和幾個 shell 命令編寫。
-
DomSQL 免費
基於PHP5和MySQL的文檔物件模型結構化查詢語言!示例:「從 [http://example.com] 中選擇 [正文]內部代碼";
-
Stormtrooper Clock Widget 免費試用
一個突擊隊時鐘小工具。用紅色光劍顯示小時和分鐘。大小: 2 x 2作為小部件添加到主螢幕。
-
ABIcheck binary compatibility tool 免費
ABIcheck 是檢查應用程式的工具符合庫定義的應用程式二進位介面(阿比)。 它依賴於 ABI 定義資訊,其中包含在圖書館。 為 GNOME 和 glibc 提供了範例定義。