JMLを選んだ理由は、「コメントに条件式を書く」というのが気に入ったことと、フリーで開発者が多いことです。 まずはダウンロード。 http://www.cs.iastate.edu/~leavens/JML/index.shtml http://sourceforge.net/project/showfiles.php?group_id=65346 次…