STP 1022
5秒でダウンロードできます。
次の外部ダウンロードリンクをクリックしてダウンロードを開始することもできます。
http://sourceforge.net/projects/stp-fast-prover/files/simplifyingSTP%20r1022/simplifyingSTP_1022.tar.gz/download
に関しては STP
STP(シンプル定理Prover):プログラム分析/テスト生成ツール、モデルチェッカー、バグファインダー、ハードウェア/ソフトウェアフォーマル検証ツール、インテリジェントファザによって生成された式または制約を受け入れる制約ソルバー/決定手順
関連プログラム
-
Javascript and CSS compress utility 無料
コマンドラインツールは、Javascriptコードを圧縮および難読化し、CSSコードを圧縮します。(KJS に基づく -- KHTML に含まれる Java スクリプト ライブラリ)
-
EasySnuffle 無料
EasySnuffleは、プロトコルメッセージ、内部プロトコルの状態をキャプチャし、ネットワーキングノード上の実装性能を測定するための測定ツールです。UDP、IP、および IEEE 802.11b MAC の測定プローブが実装されています。
-
Open Streaming Server 無料
オープンストリーミングサーバーは、デジタルメディア配信です。主な特徴は次の例です: - mp4、3gp、WMF、QTファイルのストリーミング - 動的帯域幅の適応 - 負荷分散 - コンテンツ配信技術:C++、Java、CORBA。
-
Chilkat Encryption .NET Component 無料トライアル
チルカトクリプト.NETは、RSA公開鍵の両方を提供する高度な暗号化コンポーネントですデジタル署名による暗号化、および対称暗号化アルゴリズムを含むAES(レインダエル)、フグフィッシュ、ツーフィッシュ。それは簡単にデジタルを作成する機能を提供するファイルまたはメモリ データの署名、またはデジタル署名を受信に対して検証するデータまたはファイル。これにより、暗号化サービス プロバイダを使用できます。サード パーティ ベンダ
-
Obfuscator for .NET framework 無料トライアル
スケーター .NET 難読化ツールは、.NET コード保護のための難読化ツールです。既知のソフトウェア保護技術と難読化アルゴリズムをすべて実装しています。スケーター .NET 難読化器は、.NET アプリケーション コード保護のための包括的なプロフェッショナル ソリューションです。スケーター .NET の難読化器を使用すると、Microsoft .NET フレームワーク アプリケーションを不正なコード抽出やリバース エンジニアリングから簡単に
-
Angel USB Clock Vol.2 無料
携帯電話を時計に変えます。エンジェルUSBクロックは、あなたの'あなたの携帯電話のバッテリーを充電している間、アナログ時計にあなたの携帯電話をオンにするアプリです。[機能]*バッテリーが充電されると時計として自動的に起動し、終了すると終了します。*時計の同じデザインで、時計ウィジェットとして配置することができます。*デザイン、スパークリング、ゴージャス、スポーティなダイバーモデルの多くのバリエーション.そしても
-
EMF Search Plugin 無料
EMF 検索プラグイン -- この Eclipse 3.0 プラグインは、ワークスペースリソースにシリアル化された EMF モデルインスタンスデータを検索するための検索ページを提供します。現在サポートされているのは、通常のテキスト検索と XPath 検索です (Jakarta JXPath を使用)。
-
PV Orientator 無料
太陽電池をいつでもどこでも最適な角度に配置する-----------------------------------------------------------------------------------------------------------------太陽エネルギーの利用は、主にクリーンな再生可能エネルギー源であるため、最近増加しており、その利用可能性は電力の現地生産に最適です。PVパネルの位置は発電に影響します。したがって、
-
Eclipse Json Editor Plugin 無料
JSON エディタは、次の機能を提供する Eclipse IDE のシンプルなプラグインです: - カラー テキストの強調表示 - アウトライン ツリー ビュー - JSON 検証 - テキストの書式設定 - JSON データ形式のテキスト折りたたみ。
-
D-Addicts Browser 無料
D-Addictは、日本語、韓国語、中国語、香港、台湾、シンガポールのドラマ、テレビ番組など、アジアのドラマやテレビ番組の最初のソースです。D-Addictsの最新ファイルに簡単にアクセスし、検索します。詳細については、デフォルトのブラウザでページを開くか、お好みのbittorrentクライアントでダウンロード.このアプリケーションはD-Addictsと提携していません*重要*:D-Addictsは、あなたが探している言語に関係なく、英語のサイト