QConTokyo2011：形式手法の現在と実開発への適用可能性

７個目。セッション５回目の時間帯。

小林 健一氏＆今井 宜洋氏による、
「形式手法の現在と実開発への適用可能性」。

形式手法って何なのかな？と思っていた所、
「数学に基づいたシステム開発技法」だそうです。

レビューやテストでは全網羅って基本的に出来ません。
ですが、形式手法であれば限定的な条件下においては
完全な網羅照明が可能という辺りは興味深いですよね。

なんか調べたいことがどんどん増えていくなぁ。。。。