https://github.com/pkierat/openjml-intellij-plugin
An Intellij IDEA plugin for OpenJML-based Java code verification.
https://github.com/pkierat/openjml-intellij-plugin
intellij intellij-idea intellij-plugin java jml openjml software-engineering software-verification source-code-analysis
Last synced: 5 months ago
JSON representation
An Intellij IDEA plugin for OpenJML-based Java code verification.
- Host: GitHub
- URL: https://github.com/pkierat/openjml-intellij-plugin
- Owner: pkierat
- License: mit
- Created: 2025-08-07T10:47:49.000Z (5 months ago)
- Default Branch: master
- Last Pushed: 2025-08-07T10:53:26.000Z (5 months ago)
- Last Synced: 2025-08-07T12:35:44.158Z (5 months ago)
- Topics: intellij, intellij-idea, intellij-plugin, java, jml, openjml, software-engineering, software-verification, source-code-analysis
- Language: Java
- Homepage:
- Size: 59.6 KB
- Stars: 0
- Watchers: 0
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- License: LICENSE.txt