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
トリプルA(オートマトンによる自動分析)は、2つの強力な解析ツール(LTLモデルチェックとプレスバーガーの算術を扱う)と、その周りに構築されたグラフィカルユーザーインターフェイスを備えたJavaで書かれた(有限の)オートマトンのためのフル機能のライブラリです。
関連プログラム
-
Parallel partition for string qsort/qsel 無料
文字列クイックソートの逐次的かつ並列的な実装(-select)記事: デジタルアクセス/クイックソートとクイック選択のためのデジタルアクセスとパラレルパーティションを組み合わせたBST(および関連アルゴリズム)の文字列ルックアップの数について。
-
pgreplay 無料
PostgreSQL データベースログファイルを読み取り、SQL ステートメントを抽出し、別のデータベースサーバに対して同じ順序とタイミングで実行します。実際のワークロードを使用したパフォーマンス テストに役立ちます。
-
ldapenum 無料
ldapenum は IPC$ がロックされているときに LDAP サービスを使用してドメイン コントローラからシステム情報とパスワード情報を列挙するように設計された perl スクリプトです。スクリプトは、ウィンドウとLinux上でテストされています。スクリプトはまだ初期段階にあります。
-
F2Ashell 無料
このシェルを使用すると、コードを簡単に調べたテキストインターフェイスを使用できます。コードは、シェルと対話するために DLL ライブラリに関連付けられている必要があります。これを実装するためのテンプレートが用意されています。プロジェクト WEB: http://sites.google.com/site/f2ashell/
-
DataModeler 無料
プロジェクトは異なる名前で開発されています:Datamodelerが科学者やエンジニアに可能性を与えるhttp://sourceforge.net/projects/modelbuilder/訪問して、データセットの多変量モデルを見つけてください。
-
GFFT 無料
C++ でのポリシーベースのデザインとテンプレートメタプログラミングを使用した汎用のシンプルで効率的な高速フーリエ変換 (FFT) 実装
-
SASUnit 無料
SASUnit は、SAS(TM) プログラムの単体テスト フレームワークです。SASプログラムのテストの開発、実行、自動文書化に使用できます。SASUnit は、SAS マクロといくつかのシェル コマンドに基づいて純粋に記述されます。
-
DomSQL 無料
ドキュメントオブジェクトモデル構造化クエリ言語 、PHP5とMySQLに基づいています!例: '{本体[0] インナーコード} から {http://example.com} を選択します。
-
Stormtrooper Clock Widget 無料トライアル
ストームトルーパー時計ウィジェット。時間と分を表示する赤いライトセーバーで。サイズ:2×2ウィジェットとしてホームスクリーンに追加します。
-
ABIcheck binary compatibility tool 無料
ABIcheck はアプリケーションをチェックするためのツールです。ライブラリの定義済みアプリケーション バイナリ インターフェイスへの準拠(ABI)。 に含まれる ABI 定義情報に依存しています。ライブラリ。 GNOME および glibc の定義例を示します。