アプローブ Javaベースおよび自動化プログラム検証環境
今すぐダウンロード

アプローブ ランキングとまとめ

アプローブ タグ

オートメーション 検証 プログラムの検証 終了証明 検証を自動化します 終了

アプローブ 説明

Javaベースおよび自動化プログラム検証環境 Aproveは、自動的に終端と最内的な終端システム（TRSS）の自動的な終端証明のための無料ではない。 さらに、Aproveはまた、論理プログラム（Prolog）、TRSSモジュロAC、機能的プログラム（Haskell 98）、条件付きTRSS、状況依存TRSSなどを依存関係ペアフレームワークに基づいており、広く提供されている。 さまざまな末尾の保証手法。 これらの技術は、グラフィカルユーザインタフェースを介してユーザによって自由に構成され、組み合わせることができる。 さらに、Aproveは、実際には成功していることが判明した特定の固定順序で適切な終了技術が適用される「全自動」モードも提供しています。 要件： ・Java 1.5以降

アプローブ 関連ソフトウェア