恥ずかしながら最近になって気がついたのですが、いわゆる形式手法(formal method)に関する「日経エレクトロニクス」2005年12月19日号の特集「ソフトウエアは硬い」がオンラインで無料公開されています。http://techon.nikkeibp.co.jp/article/FEATURE/20090…