私は Eclipse 用の OpenJML ツール ( http://openjml.org/ ) をインストールして使用していましたが、非常にうまく機能しました。
ただし、コマンド ラインからjmlcおよびjmlunitツールを呼び出す必要があります。インターネットでの検索からわかるように、これらのツールは JML のどこかのディレクトリにあるはずです。これらのツールを PATH に追加し、対応するコマンドを呼び出して通常どおり使用する必要があります。しかし、OpenJML をダウンロードすると、jar ファイルが 3 つしかなく、ディレクトリがまったくありません。また、公式の JML ページには、OpenJML 以外のバージョンをダウンロードするためのリンクはありません。私には明らかな何かが得られないように思えます。
問題は、これらのツールをコマンド ラインで実行する方法を見つける方法です。
前もって感謝します。