Well, it's Java... plus JML, the Java Modeling Language, a rich specification language for Java.
The specification is verified with the static verification tool in the OpenJML suite.
It can be checked online here
| Name | Name | Last commit date | ||
|---|---|---|---|---|
parent directory.. | ||||
Well, it's Java... plus JML, the Java Modeling Language, a rich specification language for Java.
The specification is verified with the static verification tool in the OpenJML suite.
It can be checked online here