アプローブ 自動プログラム検証環境
今すぐダウンロード

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

アプローブ タグ

テスター 検証 校正 テスト環境 プログラム検証 コードプルーフ

アプローブ 説明

システムアプローブは、（条件付き）TERM書き換えシステム（TRSS）、Prologプログラム、機能性、および必須プログラムの自動停止および最内的終端証明に使用できます。 Aproveは現在、多くの変換テクニック、基本的な終了技術（再帰的な経路注文、Knut Bendix Orders、多項式、RFC抹茶）、依存関係のペアの縮小、書き換え、およびインスタンス化などの最近の改良、サイズ変更原則などの依存ペアを提供しています。 また、依存関係のペアと組み合わせて。 ツールはJavaで書かれており、プルーフはグラフィカルユーザーインターフェースを介して完全に自動化された、または対話モードの両方で実行できます。 Aprove A Development Projectsにどれほど役に立つかを確認してください。

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