2010-02-12 ディペンダブルシステム、安全工学、機能安全 Formal Methods 形式手法の勉強会をただやるだけだと、ツールで遊んでおしまいになってしまう。 業界にとって形式手法が必要と思われている、 その理由や背景を同時に勉強していかなくてはいけない。