記号的軌跡評価

記号軌道評価（STE）は、記号シミュレーションの一種を用いる格子ベースのモデル検査技術です。STEは主にコンピュータハードウェア、すなわち回路検証に用いられます。この技術は抽象化を利用しており、回路モデルから回路動作の詳細が取り除かれます。1995年にカール・セガーとランダル・ブライアントによって、「古典的な」記号モデル検査の代替手段として初めて開発されました。

• C.-JH Seger、RE Bryant、「部分順序付けされた軌跡の記号評価による形式検証」  、システム設計における形式手法、第6巻、第2号（1995年3月）、 147 ～ 190ページ