「形式手法（Formal Methods）」を用いた検証が、自動運転や医療機器などのセーフティクリティカルシステムで必須とされる理由はどれか。

テストケースによる検証には限界があるが、形式手法は数学論理を用いてシステムの振る舞いが安全特性（仕様）を満たすことを厳密に証明できるため、高信頼性が求められる分野で採用される。