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.
Java Specification format

ProVerB specific

View/edit source (Markdown)



ProVerB is a part of SLEBoK. Last updated: July 2022.