形式手法について勉強したいなぁ。

形式手法は前々から知っていて、興味は持っていました。
勉強しようと思うが、どのように業務にいかせるかな？っておもって手を出していなかったのですが、@ITMONOistでISO26262の開発手法が掲載されていました。
形式手法は組み込みでも使われているので、今やっている業務に適用できるかな？って思ったので、勉強してみようと思っています。

Alloy, Z , VDMなどはあるけど、Alloyが本があって読みやすいかな？とは思うので、
買ってみようと思います。


一応形式的手法とは

計算機科学における数学を基盤としたSW,HWのシステムの仕様記述、開発、検証の技術。
開発行程でエラーが入り込まないことを保証する。
要求仕様レベル、機能仕様レベルでは特に効果的であるが、実装レベルでも形式主義開発は可能。