形式手法（Formal Methods）を用いた検証の特徴はどれか。

数学的な論理（形式論理）に基づいて、仕様や設計に矛盾や誤りがないことを証明する

関連記事

関連記事はありません。