最近、日本ソフトウェア科学会の学会誌である「コンピュータソフトウェア」がおもしろいです*1。今月号はソフトウェア検証ツールの小特集で、ESC/Java2やVDMToolsなどが（もちろん日本語で）紹介されています。これらの記事も2ヶ月すればオンラインで無償公…