プログラム www.jmlspecs.org

Java モデリング言語 (JML) は、Java モジュールの動作を指定するために使用できる動作インターフェース仕様言語です (仕様では、コントラクト - DBC)。アサーション チェックや単体テストなどを行うためのツールが多数あります。