「モデル検査（Model Checking）」が提供する検証能力の特徴はどれか。

モデル検査は、システムのモデルが仕様（論理式）を満たすかどうかを、全ての可能な状態を網羅的に探索して数学的に検証・証明する形式手法の一つである。