Free
Free
KeY is open-source research software available via download links on the project site.
- Access
- KeY is open-source research software available via download links on the project site.
KeY pricing
● Identity checkedCode · Vendor site 2026-10-04
The KeY Project provides formal verification and symbolic debugging tools for Java programs. Researchers and educators use KeY to prove correctness against JML specifications, generate tests, and teach program verification with downloadable tooling and course material.
- Category
- Code
- Free access
- KeY is open-source research software available via download links on the project site.
- API access
- Not confirmed as a hosted API; KeY ships as desktop verification and debugging tools.
Understand the total cost
KeY pricing & plans
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.