Programma's van www.jmlspecs.org

De Java Modeling Language (JML) is een gedragsinterface specificatietaal die kan worden gebruikt om het gedrag van Java-modules op te geven (zoals in ontwerp per contract - DBC). Het heeft veel tools om assertie controle te d