「ソフトウエアは硬い」オンライン版

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

応用の状況などは記事が掲載された4年前から変わっているかもしれませんが、基本原理は変わっていないはずなので、（非常に）わかりやすい紹介記事として参考になるのではないかと思います。