形式手法（Formal Methods）の導入障壁として最も一般的なものはどれか。

形式手法は非常に高い保証レベルを提供できるが、モデル記述や証明に高度なスキルと労力を要するため、重要インフラやカーネル等の最重要部分に限定して適用されることが多い。