Who should use OpenJML/ESC?

OpenJML/ESC is an open-source project built for java developers using IntelliJ IDEA.

Yes — OpenJML/ESC is free to use.

What platforms does OpenJML/ESC run on?

OpenJML/ESC runs on the web, macOS, Windows, and Linux.

Is OpenJML/ESC still maintained?

Unverified. OpenJML/ESC has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.

What projects are similar to OpenJML/ESC?

Similar projects tracked by PulseGate include EmacsJ, OCamlJ, and OpenSCAD.

Who develops OpenJML/ESC?

OpenJML/ESC is developed by OpenJML.

When did OpenJML/ESC launch?

OpenJML/ESC first shipped in 2018.

Back to the index

OpenJML/ESC

Name: OpenJML/ESC
Author: OpenJML

jetbrains.comOther dev tools

OpenJML/ESC is an IntelliJ IDEA plugin that integrates OpenJML extended static checking into JetBrains IDEs. It helps Java developers verify code against specifications and identify potential correctness issues during development.

FreeWebmacOSWindowsLinux

Visit jetbrains.com

Overview

4 features

In the Other dev tools space, OpenJML/ESC takes a focused approach. It focuses on verifying Java programs inside IntelliJ IDEA without switching to separate tools. OpenJML/ESC is an open-source project aimed at java developers using IntelliJ IDEA. OpenJML/ESC costs nothing to use. It ships for the web, macOS, Windows, and Linux.

OpenJML builds and maintains OpenJML/ESC, and it first shipped in 2018. Among its 4 catalogued features are static checking, java verification, and IDE integration.

Summary written by a language model from the project’s public pages.

Static checking
Java verification
IDE integration
Specification checking

Built with & integrations

Hosting

AWS

Connectors

vscode

Runs on

BrowsermacOSWindowsLinux

Detected from

AWS: x-amz-cf-id header · x-amz-cf-pop header · via header

Trust & compliance

Verified signals

HTTPSFree tier

Indexing history

What PulseGate has recorded for this listing

Indexed9 Sept · 16:16 UTC
OpenJML/ESC verified via JetBrains Plugins
Source: JetBrains Plugins · Open

Frequently asked questions about OpenJML/ESC

What does OpenJML/ESC do?: OpenJML/ESC focuses on verifying Java programs inside IntelliJ IDEA without switching to separate tools. It is catalogued under Other dev tools on PulseGate.
Who should use OpenJML/ESC?: OpenJML/ESC is an open-source project built for java developers using IntelliJ IDEA.
Is OpenJML/ESC free?: Yes — OpenJML/ESC is free to use.
What platforms does OpenJML/ESC run on?: OpenJML/ESC runs on the web, macOS, Windows, and Linux.
Is OpenJML/ESC still maintained?: Unverified. OpenJML/ESC has not been re-checked since it entered the index, so there is no finding either way — and only a positive finding would say otherwise.
What projects are similar to OpenJML/ESC?: Similar projects tracked by PulseGate include EmacsJ, OCamlJ, and OpenSCAD.EmacsJ OCamlJ OpenSCAD
Who develops OpenJML/ESC?: OpenJML/ESC is developed by OpenJML.
When did OpenJML/ESC launch?: OpenJML/ESC first shipped in 2018.

At a glance

Platforms: Web
Languages: English
First seen: 9 Sept 2026
Built for: Java developers using IntelliJ IDEA
Model: Open source
Solves: Verifying Java programs inside IntelliJ IDEA without switching to separate tools.

Registered as

JetBrains Marketplace: 11072

Developer

OpenJML

Index record

Indexed: 9 Sept 2026
Lifecycle: Alive
First seen: Sept 2026
Last seen: 9 Sept 2026

Identity audit (13)

Slug: openjml-esc-jetbrains-com
Lifecycle state recorded: 9 Sept 2026
Verification state: Indexed for public listing
Listing state: Listed: yes
Index status: Included in index
Latest evidence snapshot: 9 Sept 2026
Timeline basis: Indexed-at chronology (no inferred launch/funding milestones).
Name from: Derived from the project's own page and URL.
Category from: Assigned by a language model.
Summary from: Written by a language model from public pages.
Languages from: Detected by a language model from page content.
Last updated: 9 Sept 2026
Canonical URL: https://plugins.jetbrains.com/plugin/11072-openjml-esc

Ship this? Send a correction — no account, and you get a link to follow it.

Similar projects

Closest matches by what these projects do