株式会社三菱総合研究所、日立ソフト、株式会社NTTデータ、国立情報学研究所、北陸先端科学技術大学院大学は、2008年10月、経済産業省の「新世代情報セキュリティ研究開発事業」により、ソフトウェアの開発現場において、ソフトウェアの信頼性を論理的に検証する形式検証技術を導入するための実用化に関する共同研究を開始した。

プレスリリース ＝http://www.mri.co.jp/PRESS/2008/pr081028_ssu01.html

［参考文献：2008年10月27日 / 日経プレスリリース］