Tom van Dijk

IntelliJML: a JML plugin for IntelliJ IDEA

2021

Java code can be annotated with formal specifications using the Java Modelling Language (JML). Previous work has provided IDE plugins intended to help write JML, but mostly for the Eclipse IDE. We introduce IntelliJML, a …