![](/statics/img/blank.png)
Extended NuSMV 1.1
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/enusmv/files/enusmv/enusmv%201.1/enusmv_1.1.tar.bz2/download
に関しては Extended NuSMV
ETL および APSL のシンボリック モデル チェックをサポートする NuSMV の拡張バージョン
関連プログラム
-
Voice Widget 無料
ボイスレコーダー、ユーチューブ、テレビやラジオ、エクスプローラやワンクリックで検索を開始します。2美しいウィジェットは、お使いの携帯電話のボイスレコーダー、Youtube、テレビやラジオ、エクスプローラや検索をリンクします。デザインスタイルはHTCセンスのようなものです。4つの新しい美しいウィジェットを含むフルバージョンを購入することによって私たちをサポートしています。指示:1. ホーム画面へ移動してください2. 空きスペース
-
ZIPCodeWorld Store Locator .NET Component 無料トライアル
ZIPCodeWorld ストア ロケータ .NET は、すべての .NET 開発者向けの店舗ロケーター コントロールです。米国またはカナダの店舗ロケーター サービスは、数分以内に稼働させることができます。ZIPCodeWorld ストア ロケーター .NET では、ASP.NET プロジェクトのドラッグ アンド ドロップ コントロールを提供します。このコントロールを使用すると、顧客は、郵便番号でディーラー、店舗、最寄りの店舗を検索できます。結果
-
Mobile Data On/Off Toggle 無料
モバイルデータオン/オフトグルモバイルデータオン/オフトグルスイッチオン/オフトグルモバイルデータオン/オフトグルモバイルデータオンオフトグルスイッチ.- このソフトウェアは、システム設定で必要に応じて有効"Mobileデータ"非常にシンプルなモバイルデータコントロールソフトウェア!サポートSDカードのインストール(アンドロイド2.2フロヨ)APKサイズ= 9KB (非常に小さい!モバイルデータをオンにしてオフにします。モバイ
-
OCF Resource Agent for SAP 無料
Linux 高可用性クラスター (Linux-HA プロジェクトなど) で SAP ソフトウェアを実行するための OCF (オープン・クラスター・フレームワーク) 準拠のリソース・エージェントを提供します。
-
Wintermute Engine DevKit 無料
Wintermuteエンジン開発キットは、グラフィカルなポイント&クリックアドベンチャーゲーム、伝統的な2Dのものと現代の2.5Dゲーム(2D背景上の3Dキャラクター)の両方を作成し、実行するためのツールのセットです。
-
Aginity Netezza Workbench 無料
Aginity は、Netezza ソリューション プロバイダー パートナーです。ワークベンチは、Netezzaアプライアンスで大規模なシステムを開発する豊富な経験をサポートするための特定のツールの必要性から生まれました。Workbench は、他の類似製品の中でユニークな機能を提供します: + ワンクリックで未請求、削除されたレコードを含む配布情報にアクセスし、グラフィック表示により、ノードごとに問題が存在する場所を簡単に視覚化できます。+ 再
-
xUnit - Unit Testing Framework 無料
xUnit は、XP スタイルの単体テスト フレームワークです。xUnit は、フロントエンドとアプリケーションにリンクされたテスト ドライバーを表示するフロントエンドとの間のプロトコルを使用します。
-
perf2rrd 無料
perf2rrdは、Nagios (R) 監視システムによって出力されるパフォーマンス データをキャプチャし、それを RRDtool によって暗示されたラウンド ロビン データベース ファイルに格納する Java (tm) で書かれたプログラムです。
-
MisterHouse: Home Automation with Perl 無料
ミスターハウスは、パールで書かれたWindows / Unixのホームオートメーションプログラムです。音声コマンド、ウェブブラウザ、時刻、シリアルポート、X10データ、外部ファイルなどに応答でき、音声エンジンにテキストを介して話すことができます。
-
IFM - Interface Management System 無料
IFM (以前の wxIFM) は、ドッキング可能なウィンドウをアプリケーションに追加するように設計されたインターフェイス管理ライブラリで、現在の経験豊富なコンピュータ ユーザーが要求するカスタマイズ性をインターフェイスに提供します。