KeY 4 Eclipse Starter

KeY 4 Eclipse Starter is a basic Eclipse extension to start KeY from within Eclipse.

The following sections illustrate the main features of KeY 4 Eclipse Starter using screenshots. Each section contains numbered screenshots that explain a usage scenario step by step. Clicking on each picture produces a more detailed view. The screenshots may differ from the latest release.


KeY 4 Eclipse Starter is compatible with Eclipse Indigo (3.7) or newer.

Required update-sites and installation instructions are available in the download area.

Open KeY

Verify a method contract

Load a proof or key file

Stop auto mode when breakpoint is hit

KeY basics in Eclipse and troubleshooting