ディペンダブル・システムのための形式手法の実践ポータル

形式手法の概要

形式手法の説明や情報
カレンダー

形式手法の適用に関係する国内外のイベント
応用事例DB

形式手法の産業界における事例集
導入方法

形式手法の導入に関するガイドライン
情報源

形式手法の文献やサイトへのリンク
お問い合わせ

新着情報

2011年08月01日

日経Tech On、本ポータルサイトを紹介

2011年05月17日

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

2011年04月04日

日本情報産業新聞、本ポータルサイトを紹介

2011年03月29日

産総研、形式手法の応用ワークショップを4月に開催

2011年02月09日

3月10日 (木) 新世代情報セキュリティ研究開発シンポジウム開催

→ 過去の一覧

NEWS & TOPICS RSS ツール 企業動向 各国動向

→ 過去の一覧

このサイトは、形式手法の普及促進を目的として、経済産業省「新世代情報セキュリティ研究開発事業」の成果やその後の関連動向等を掲載しています。