Free
Free
The UFCG project page offers version 2.0 downloads under GNU GPL v3 with no fee listed.
- Access
- The UFCG project page offers version 2.0 downloads under GNU GPL v3 with no fee listed.
JMLOK 2.0
● Identity checkedCode · Vendor site 2026-10-04
JMLOK 2.0 is a research tool that checks Java programs annotated with JML contracts by generating random tests, building oracles from specifications, and categorizing nonconformances. It ships downloadable binaries and a reference manual for Windows, Linux, and macOS.
- Category
- Code
- Free access
- The UFCG project page offers version 2.0 downloads under GNU GPL v3 with no fee listed.
- API access
- Not confirmed
Is JMLOK 2.0 right for you?
A good fit for
Researchers and advanced Java developers validating formal JML contracts who need automated test generation and nonconformance analysis.
Before you choose
You run the desktop tool locally against compiled code; support is via the published manual and academic contact pages.
Contract-based Java verification
The JMLOK page explains a multi-step workflow that compiles programs, generates tests, derives oracles from contracts, and filters failures to highlight specification violations.
What it can do
Features & capabilities
Unknown is different from unavailable. Each fact carries its own evidence.
| Capability | Value | Evidence | Checked |
|---|---|---|---|
| JML checking | Homepage defines JMLOK 2.0 as detecting nonconformances between Java code and JML specs via feedback-directed random tests. | Facts sourced | 2026-10-04 |
| Platform support | Download section states the tool is available for Windows, Linux, and Mac operating systems. | Facts sourced | 2026-10-04 |
| License | Site notes JMLOK 2.0 is open source software under GNU GPL v3. | Facts sourced | 2026-10-04 |
Understand the total cost
JMLOK 2.0 pricing & plans
Alternatives to JMLOK 2.0
View all ↗
AI Music APIAI Music API at udioapi.pro offers a unified REST API for generating and extending music with multiple AI models such as Suno and Udio. Developers can subscribe for monthly credits, buy pay-as-you-go top-ups, and integrate task polling or webhooks.
Explore tool
Context.devContext.dev is a web data API for AI agents and LLMs to scrape pages into Markdown, crawl sites, map domains, run batches, research the web, monitor changes, and retrieve brand data through one REST platform with SDKs and MCP support.
Explore tool
DeepSite AIDeepSite AI is a no-code generator for single-page sites such as landing pages, portfolios, and product showcases, powered by selectable chat models including DeepSeek and Claude. Users describe a page in text, preview code, and publish without manual HTML editing.
Explore toolThe practical questions
Frequently asked questions
What is JMLOK 2.0 used for?
JMLOK 2.0 is a research tool that checks Java programs annotated with JML contracts by generating random tests, building oracles from specifications, and categorizing nonconformances. It ships downloadable binaries and a reference manual for Windows, Linux, and macOS.
Does JMLOK 2.0 have a free plan?
The UFCG project page offers version 2.0 downloads under GNU GPL v3 with no fee listed.. This record lists ongoing free access; check the plan limits before starting.
How much does JMLOK 2.0 cost?
No paid monthly price is listed; this record treats the product as free to start. See the plan cards for entitlements, billing commitments and seat minimums.
Can I use JMLOK 2.0 through an API?
Not confirmed. API access and subscription access may have different terms; consult the linked sources.
What should I check before choosing it?
You run the desktop tool locally against compiled code; support is via the published manual and academic contact pages.
Price history
No retained pricing changes yet. A current price alone does not establish a historical trend.
How this profile is supported
Identity and profile
Reviewed vendor source
Read original source ↗Facts apply to the named version and check date. Send a sourced correction if something changed.