本学科の中村教授らの研究グループが，証明スコア法による形式的検証をまとめた研究成果を国際学術誌 ACM Computing Surveys に発表しました．証明スコア法は，数学に基づいた正しいソフトウェアを開発するための技術であり，安全なデジタル社会の実現に不可欠となり得る可能性を秘めた技術です．

https://dl.acm.org/doi/10.1145/3729166

https://www.jaist.ac.jp/whatsnew/press/2025/05/07-1.html