Overview¶
This web page contains information for users and developers of the KeY Deductive Verification System.
The documentation is split into two major parts:
- User Guide — for people who use KeY to verify Java programs:
- Developer Guide — for people who build on or contribute to KeY:
- Getting started with the code base
- Architecture overview
- How to extend KeY (taclets, GUI extensions, script commands, SMT solvers)
- How we test KeY
If you want to contribute to this documentation, please refer to How to write documentation.
The KeY Team.