情報システムの信頼性向上に関するガイドライン（案）

http://search.e-gov.go.jp/servlet/Public?CLASSNAME=Pcm1010&BID=595206001&OBJCD
経済産業省のこの案の中に形式手法について触れられていました。
「重要インフラシステム」について「推奨」となっています。

（２）形式手法・ツール等の活用
情報システム供給者は、自然言語による要求仕様作成作業の誤りを極力排
除し、ソフトウェア設計の一層の精度向上を図るため、形式手法（仕様記述
言語による仕様記述とモデル検証）及びツール等の適用可能性及び効果等を
評価の上、積極的に活用を検討することが望ましい。
＜実施例＞
設計段階において、特に高い水準の信頼性・安全性が求められる部分に対
して形式手法を適用する。

うーむ。ちょっとやる気になってきました。ｗ