東証、形式手法適用実証実験をIPA SEC主催で開始

ちょっと古いけど、ここのプレスリリース

東京証券取引所とDSF成果を活用した 形式手法適用実証実験をIPA SEC主催で開始 ～DSFが「形式手法活用ガイド」を正式リリース～
http://www.nii.ac.jp/news/2011/0721/


「東証、形式手法適用実証実験をIPA SEC主催で開始」より、
「DSFが「形式手法活用ガイド」を正式リリース」のほうが、ニュース性が高い？

　DSFが作成した「形式手法活用ガイド」は、


DSFの形式手法活用ガイドならびに参考資料の利用にあたって
http://www.nttdata.co.jp/dsf/dl.html

からダウンロードできる(まだ見てない）。

そうそう、このほかにも、形式手法には、ポータルがあるんだよね！

ディペンダブル・システムのための形式手法の実践ポータル
http://formal.mri.co.jp/


最近、形式仕様日和？