次世代デジタル社会基盤研究領域の青木利晃教授の研究が、矢野経済研究所発行の「Yano E plus」に掲載されました。

　記事では、形式手法・形式検証を用いたソフトウェアの安全性・信頼性向上に関する研究が取り上げられています。自動車産業への実践的な応用や、AIを含む次世代車載システムの科学的検証に向けた取組について解説するとともに、科学技術振興機構（JST）の戦略的創造研究推進事業（CREST）「次世代車載基盤システムのための形式手法と検証ツールの創出」における研究内容や今後の展望が紹介されています。ぜひご覧ください。

■掲載詳細
　掲載誌：Yano E plus 2026年6月号（No.219）
　URL（外部サイト）： https://www.yano.co.jp/eplus/yearly.php?year=2026

令和8年7月2日