Loading article…
コンピュータ科学において、シミュレーションとは、適切にモデル化された状態遷移システムの実行を計算することである。通常、このプロセスでは、離散的な線形時間枠内の個々の時点におけるシステムの完全な状態をモデル化し、各状態を前の状態から順次計算する。コンピュータプログラムやVLSI論理設計のモデルは、多くの場合、シミュレーションに直接使用できる操作的意味論を備えているため、非常に容易にシミュレーションできる。
記号シミュレーションは、システムの多くの実行可能な状態を同時に考慮するシミュレーションの一種です。これは通常、シミュレーションが行われる領域を拡張することによって実現されます。システムの複数の実行をインデックス付けするために、シミュレーション状態表現で記号変数を使用できます。[ 1 ]これらの変数の可能な値ごとに、間接的にシミュレートされる具体的なシステム状態が存在します。
記号シミュレーションは、単一のシミュレーションで多数のシステム実行を網羅できるため、検証問題の規模を大幅に縮小できます。記号軌跡評価（STE）や一般化記号軌跡評価（GSTE）などの手法は、この記号シミュレーションの考え方に基づいています。