Symbolic executionとは 意味・読み方・使い方

METHOD AND SYSTEM FOR VALIDATING C++ PROGRAMS USING SYMBOLIC EXECUTION例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するための方法及びシステム - 特許庁

SYSTEM AND METHOD FOR PROVIDING SYMBOLIC EXECUTION ENGINE FOR VALIDATING WEB APPLICATION例文帳に追加

ウェブアプリケーションを検証するシンボリック実行エンジンを提供するシステム及び方法 - 特許庁

To provide a software architecture for verifying a C++ program using symbolic execution.例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するソフトウェアアーキテクチャを提供する。 - 特許庁

Particular embodiments may further optimize the C++ function through simplified symbolic expressions and adding constructs forcing delayed interpretation of symbolic expressions during the symbolic execution.例文帳に追加

特定の実施形態は更に、単純化された記号表現と、記号的実行中に記号表現の解釈を遅延させる構成の付加とによって、Ｃ＋＋関数を最適化してもよい。 - 特許庁

Particular embodiments optimize a C++ function comprising one or more loops for symbolic execution.例文帳に追加

特定の実施形態は、１つ以上のループを有するＣ＋＋関数を記号的実行用に最適化する。 - 特許庁

To provide a method and system for optimizing libraries for validating C++ programs using symbolic execution.例文帳に追加

記号的実行を用いてＣ＋＋プログラムを検証するためにライブラリを最適化する方法及びシステムを提供する。 - 特許庁

Typically, a Java model checker is augmented to check for certain types of requirements or properties in performing the symbolic execution.例文帳に追加

典型的に、シンボリック実行を行う際に一定種類の要求又はプロパティを検査するよう、Ｊａｖａモデルチェッカが拡張される。 - 特許庁

The symbolic debugger is provided with: a display means; a model execution means for executing a hardware operation model; and a correspondence relation management means for managing the display of the execution state of a source program by the display means according to the execution state.例文帳に追加

シンボリックデバッガは、表示手段と、ハードウェア動作モデルを実行するモデル実行手段と、その実行状態に応じて表示手段によるソースプログラムの実行状態の表示を管理する対応関係管理手段と、を有する。 - 特許庁