프로그램별 www.jmlspecs.org

Java 모델링 언어(JML)는 Java 모듈의 동작을 지정하는 데 사용할 수 있는 동작 인터페이스 사양 언어입니다(계약별로 설계된 대로 DBC). 어설션 검사, 단위 테스트 등을 수행하는 많은 도구가 있습니다.