イミロン、複雑なシステム開発を支える形式仕様記述・分析ツール「SpecForge」をリリース

フォーマル×AI で複雑化するシステムの「仕様」開発をサポート

論理学に基づくセーフガード技術や論理的説明技術を提供する株式会社イミロン（東京都千代田区、代表取締役：足立正和、以下「イミロン」）は、AIを活用した形式仕様記述・分析ツール「SpecForge（スペックフォージ）」を2025年7月より提供開始することをお知らせいたします。SpecForgeは、システムの要求仕様を数学的に厳密な「形式仕様」として記述・分析することで、複雑なシステム開発における品質、生産性、信頼性、そして説明性の向上に貢献します。
[画像: https://prcdn.freetls.fastly.net/release_image/153797/3/153797-3-95cdcd29fe468400ca9977c4061d9602-850x472.png?width=536&quality=85%2C75&format=jpeg&auto=webp&fit=bounds&bg-color=fff ]