新着情報

日刊工業新聞、本ポータルサイトを紹介

日刊工業新聞は、2011年5月9日、同紙の社説で、情報システムの事故防止に形式手法が有効について述べています。その中で、経済産業省、三菱総合研究所等による形式手法実用化プロジェクト「モデル検査による組込みソフトウェア検証とモデリング・パターン化の研究開発」や本ポータルサイトについて紹介されました。

このページの先頭へ戻る