PRESS RELEASE 2012年4月20日 株式会社NTTデータ 富士通株式会社 日本電気株式会社 株式会社日立製作所 株式会社東芝 SCSK株式会社 大学共同利用機関法人 情報・システム研究機構 国立情報学研究所 独立行政法人情報処理推進機構 東京証券取引所の設計書を対象とした実験で形式手法の有効性を実証 実験結果をもとにDSFが「形式手法活用ガイド」を完成 独立行政法人情報処理推進機構(以下、IPA)(注1)は、株式会社東京証券取引所で実際に運用しているシステムの設計書を対象にして、ディペンダブル・ソフトウェア・フォーラム(以下、DSF)の活動成果である形式手法活用ガイド(以下“本ガイド”)に従って、形式手法(注2)適用実証実験(以下“本実験”)を2011年8月より行い、形式手法の有効性を実証しました。IPA は本実験の結果を報告書(以下“本書”)にまとめ、IPA公式Webサイト