openjml

Here are 5 public repositories matching this topic...

An Intellij IDEA plugin for OpenJML-based Java code verification.

Senior Design OpenJML Quantifier Project

java verification openjml

Contains the specifications for the Java language used by OpenJML.

java showcase program-verification openjml

Eclipse workspace of the Software Testing and Verification academic course

java testing codecoverage asmeta openjml

An annotation processor for generating JML stubs from Java source files.

Add a description, image, and links to the openjml topic page so that developers can more easily learn about it.

To associate your repository with the openjml topic, visit your repo's landing page and select "manage topics."