JML

JML: Java Modeling Language https://www.cs.ucf.edu/~leavens/JML/index.shtml Behavioral interface specification language that can be used to specify the behavior of Java modules.