Programy według www.jmlspecs.org

Język modelowania Java (JML) to język specyfikacji interfejsu behawioralnego, który może służyć do określania zachowania modułów Java (tak jak w projekcie według umowy - DBC). Ma wiele narzędzi do sprawdzania asercji, testowa