日刊工業新聞は、2011年5月9日、同紙の社説で、情報システムの事故防止に形式手法が有効であることを述べている。その中で、経済産業省、三菱総合研究所等による形式手法実用化プロジェクト「モデル検査による組込みソフトウェア検証とモデリング・パターン化の研究開発」や本ポータルサイトについて紹介している。
新聞社説等で、形式手法の話題が取り上げられるようになり、社会の認知度が高まっている。
このページの先頭へ戻る