形式手法（Formal Methods）

数学的厳密性でソフトウェアの正しさを保証する

形式手法は、数学的な記法と論理に基づいてソフトウェアの仕様を記述・検証する技術の総称です。航空宇宙、鉄道、医療機器など、高い信頼性が求められる分野で長年にわたり活用されてきました。IID Systemsでは、この形式手法をAI時代のソフトウェア開発にどう活かすかを研究しています。