Overview¶

This web page contains information for users and developers of the KeY Deductive Verification System.

If you are new to the KeY System, you should start with the excerpt Using the Prover from the KeY Book.

The documentation is split into two major parts:

• End user:
  • How to use the KeY tool for end user
  • How to write Proof Scripts for resilient, persistent and reapplicable proofs*
• Developer:
  • How to use KeY as a library or add a new feature
  • How we test KeY

If you want to contribute to this documentation, please refer to How to write documentation.

The KeY Team.