ソフトウェアやハードウェアの仕様が論理的に正しいことを、数学的なモデルを用いて厳密に検証する手法はどれか。

形式手法は、数理論理学に基づいてシステムの正当性を証明・検証する手法であり、高信頼性が求められる医療機器等の開発で重要となる。

関連記事

関連記事はありません。